diff --git a/packages/extensionmanager-extension/src/index.ts b/packages/extensionmanager-extension/src/index.ts index 6873bfb659fe..54de37a79d68 100644 --- a/packages/extensionmanager-extension/src/index.ts +++ b/packages/extensionmanager-extension/src/index.ts @@ -81,7 +81,7 @@ const plugin: JupyterFrontEndPlugin = { }); commands.addCommand(CommandIDs.toggle, { - label: 'Enable Extension Manager', + label: 'Enable Extension Manager (experimental)', execute: () => { if (registry) { registry.set(plugin.id, 'enabled', !enabled);