diff --git a/packages/lab-extension/schema/launch-tree.json b/packages/lab-extension/schema/launch-tree.json index 0cf51ba56c..f93954ee93 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 3a5d0d49b5..6b7c6c9794 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 { /**