diff --git a/packages/lab-extension/schema/launch-tree.json b/packages/lab-extension/schema/launch-tree.json index 0cf51ba56..f93954ee9 100644 --- a/packages/lab-extension/schema/launch-tree.json +++ b/packages/lab-extension/schema/launch-tree.json @@ -4,7 +4,7 @@ "jupyter.lab.menus": { "main": [ { - "id": "jp-mainmenu-help", + "id": "jp-mainmenu-view", "items": [ { "command": "jupyter-notebook:launch-tree", diff --git a/packages/lab-extension/src/index.ts b/packages/lab-extension/src/index.ts index 6549a9514..b3b12bcfb 100644 --- a/packages/lab-extension/src/index.ts +++ b/packages/lab-extension/src/index.ts @@ -30,7 +30,7 @@ import { } from '@jupyterlab/ui-components'; /** - * The command IDs used by the application plugin. + * The command IDs used by the application plugin */ namespace CommandIDs { /**