Disable 'Open Git Repository in Terminal' if terminals are not availa…

…ble (#930) * Disable 'Open Git Repository in Terminal' if terminals are not available https://github.com/jupyterlab/jupyterlab/blob/f0790b3ffd187b7dc923156b8ae227855abecefb/packages/terminal-extension/src/index.ts#L98 * Code formatting
jupyterlab · Apr 27, 2021 · ce8fff6 · ce8fff6
1 parent f0b492a
commit ce8fff6
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/commandsAndMenu.tsx b/src/commandsAndMenu.tsx
@@ -151,7 +151,9 @@ export function addCommands(
         main.dispose();
       }
     },
-    isEnabled: () => gitModel.pathRepository !== null
+    isEnabled: () =>
+      gitModel.pathRepository !== null &&
+      app.serviceManager.terminals.isAvailable()
   });
 
   /** Add open/go to git interface command */