pull/7113/merge
Jayesh Singh 1 month ago committed by GitHub
commit 13fdd7b130
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -4,7 +4,7 @@
"jupyter.lab.menus": {
"main": [
{
"id": "jp-mainmenu-help",
"id": "jp-mainmenu-view",
"items": [
{
"command": "jupyter-notebook:launch-tree",

@ -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 {
/**

Loading…
Cancel
Save