Enable ext manager cmd if builder is available

jupyterlab · May 13, 2019 · 0b1a40d · 0b1a40d
1 parent 5031e87
commit 0b1a40d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/packages/extensionmanager-extension/src/index.ts b/packages/extensionmanager-extension/src/index.ts
@@ -87,7 +87,8 @@ const plugin: JupyterFrontEndPlugin<void> = {
           registry.set(plugin.id, 'enabled', !enabled);
         }
       },
-      isToggled: () => enabled
+      isToggled: () => enabled,
+      isEnabled: () => serviceManager.builder.isAvailable
     });
 
     const category = 'Extension Manager';