Add (experimental) to the ext manager cmd

jupyterlab · May 13, 2019 · edce025 · edce025
1 parent 0b1a40d
commit edce025
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/extensionmanager-extension/src/index.ts b/packages/extensionmanager-extension/src/index.ts
@@ -81,7 +81,7 @@ const plugin: JupyterFrontEndPlugin<void> = {
     });
 
     commands.addCommand(CommandIDs.toggle, {
-      label: 'Enable Extension Manager',
+      label: 'Enable Extension Manager (experimental)',
       execute: () => {
         if (registry) {
           registry.set(plugin.id, 'enabled', !enabled);