From 478a800a445c238a0be1f59d1f84b04d5d47c1b5 Mon Sep 17 00:00:00 2001 From: joaovml <61719398+joaovml@users.noreply.github.com> Date: Sun, 15 Oct 2023 12:35:32 -0300 Subject: [PATCH] Move launch-tree from help menu to view menu --- 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",