From 5c6dcabe0c33e66732353199cd1198317da96945 Mon Sep 17 00:00:00 2001 From: Jayesh Singh Date: Wed, 18 Oct 2023 12:42:05 +0530 Subject: [PATCH 1/2] Migrated launch-tree from Help Menu Option to View --- packages/lab-extension/schema/launch-tree.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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", From 8c9b7e20a0c9bdd9d12b542b9aa387dc01bd181c Mon Sep 17 00:00:00 2001 From: Jayesh Singh Date: Wed, 18 Oct 2023 13:53:34 +0530 Subject: [PATCH 2/2] bot please update playwright snapshots --- packages/lab-extension/src/index.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/lab-extension/src/index.ts b/packages/lab-extension/src/index.ts index bd309e5c24..4dc8714cd3 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 { /**