@jupyter-notebook/notebook-extension 7.6.0-alpha.0 → 7.6.0-alpha.2

package/lib/index.js

@@ -2,12 +2,15 @@
 // Distributed under the terms of the Modified BSD License.
 import { DOMUtils, IToolbarWidgetRegistry, ICommandPalette, } from '@jupyterlab/apputils';
 import { PageConfig, Text, Time, URLExt } from '@jupyterlab/coreutils';
+import { IDebuggerSidebar } from '@jupyterlab/debugger';
 import { IDocumentManager } from '@jupyterlab/docmanager';
 import { IMainMenu } from '@jupyterlab/mainmenu';
 import { NotebookPanel, INotebookTracker, INotebookTools, } from '@jupyterlab/notebook';
 import { ISettingRegistry } from '@jupyterlab/settingregistry';
+import { ITableOfContentsTracker } from '@jupyterlab/toc';
 import { ITranslator, nullTranslator } from '@jupyterlab/translation';
 import { INotebookShell } from '@jupyter-notebook/application';
+import { find } from '@lumino/algorithm';
 import { Poll } from '@lumino/polling';
 import { Widget } from '@lumino/widgets';
 import { TrustedComponent } from './trusted';
@@ -588,6 +591,102 @@ const editNotebookMetadata = {
         }
     },
 };
+/**
+ * A plugin to replace the menu item activating the TOC panel, to allow toggling it.
+ */
+const overrideMenuItems = {
+    id: '@jupyter-notebook/notebook-extension:menu-override',
+    description: 'A plugin to override some menu items',
+    autoStart: true,
+    optional: [
+        IDebuggerSidebar,
+        IMainMenu,
+        INotebookShell,
+        ITableOfContentsTracker,
+        ITranslator,
+    ],
+    activate: (app, debuggerSidebar, mainMenu, shell, tocTracker, translator) => {
+        if (!mainMenu || !shell) {
+            return;
+        }
+        const trans = (translator !== null && translator !== void 0 ? translator : nullTranslator).load('notebook');
+        const { commands } = app;
+        if (tocTracker) {
+            const TOC_PANEL_ID = 'table-of-contents';
+            commands.addCommand('toc:toggle-panel', {
+                label: trans.__('Table of Contents'),
+                isToggleable: true,
+                isToggled: () => {
+                    const area = shell.getWidgetArea(TOC_PANEL_ID);
+                    if (!area) {
+                        return false;
+                    }
+                    const widget = find(shell.widgets(area), (w) => w.id === TOC_PANEL_ID);
+                    if (!widget) {
+                        return false;
+                    }
+                    return shell.isSidePanelVisible(area) && widget.isVisible;
+                },
+                execute: () => {
+                    const area = shell.getWidgetArea(TOC_PANEL_ID);
+                    if (!area) {
+                        return;
+                    }
+                    const widget = find(shell.widgets(area), (w) => w.id === TOC_PANEL_ID);
+                    if (shell.isSidePanelVisible(area) && (widget === null || widget === void 0 ? void 0 : widget.isVisible)) {
+                        shell.collapse(area);
+                    }
+                    else {
+                        shell.activateById(TOC_PANEL_ID);
+                    }
+                },
+                describedBy: {
+                    args: {
+                        type: 'object',
+                        properties: {},
+                    },
+                },
+            });
+        }
+        if (debuggerSidebar) {
+            const DEBUGGER_PANEL_ID = 'jp-debugger-sidebar';
+            commands.addCommand('debugger:toggle-panel', {
+                label: trans.__('Debugger Panel'),
+                isToggleable: true,
+                isToggled: () => {
+                    const area = shell.getWidgetArea(DEBUGGER_PANEL_ID);
+                    if (!area) {
+                        return false;
+                    }
+                    const widget = find(shell.widgets(area), (w) => w.id === DEBUGGER_PANEL_ID);
+                    if (!widget) {
+                        return false;
+                    }
+                    return shell.isSidePanelVisible(area) && widget.isVisible;
+                },
+                execute: () => {
+                    const area = shell.getWidgetArea(DEBUGGER_PANEL_ID);
+                    if (!area) {
+                        return;
+                    }
+                    const widget = find(shell.widgets(area), (w) => w.id === DEBUGGER_PANEL_ID);
+                    if (shell.isSidePanelVisible(area) && (widget === null || widget === void 0 ? void 0 : widget.isVisible)) {
+                        shell.collapse(area);
+                    }
+                    else {
+                        shell.activateById(DEBUGGER_PANEL_ID);
+                    }
+                },
+                describedBy: {
+                    args: {
+                        type: 'object',
+                        properties: {},
+                    },
+                },
+            });
+        }
+    },
+};
 /**
  * Export the plugins as default.
  */
@@ -600,6 +699,7 @@ const plugins = [
     kernelLogo,
     kernelStatus,
     notebookToolsWidget,
+    overrideMenuItems,
     scrollOutput,
     tabIcon,
     trusted,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@jupyter-notebook/notebook-extension",
-  "version": "7.6.0-alpha.0",
+  "version": "7.6.0-alpha.2",
   "description": "Jupyter Notebook - Notebook Extension",
   "homepage": "https://github.com/jupyter/notebook",
   "bugs": {
@@ -38,14 +38,17 @@
     "watch": "tsc -b --watch"
   },
   "dependencies": {
-    "@jupyter-notebook/application": "^7.6.0-alpha.0",
-    "@jupyterlab/application": "~4.6.0-alpha.0",
-    "@jupyterlab/apputils": "~4.7.0-alpha.0",
-    "@jupyterlab/cells": "~4.6.0-alpha.0",
-    "@jupyterlab/docmanager": "~4.6.0-alpha.0",
-    "@jupyterlab/notebook": "~4.6.0-alpha.0",
-    "@jupyterlab/settingregistry": "~4.6.0-alpha.0",
-    "@jupyterlab/translation": "~4.6.0-alpha.0",
+    "@jupyter-notebook/application": "^7.6.0-alpha.2",
+    "@jupyterlab/application": "~4.6.0-alpha.2",
+    "@jupyterlab/apputils": "~4.7.0-alpha.2",
+    "@jupyterlab/cells": "~4.6.0-alpha.2",
+    "@jupyterlab/debugger": "~4.6.0-alpha.2",
+    "@jupyterlab/docmanager": "~4.6.0-alpha.2",
+    "@jupyterlab/notebook": "~4.6.0-alpha.2",
+    "@jupyterlab/settingregistry": "~4.6.0-alpha.2",
+    "@jupyterlab/toc": "~6.6.0-alpha.2",
+    "@jupyterlab/translation": "~4.6.0-alpha.2",
+    "@lumino/algorithm": "2.0.4",
     "@lumino/polling": "^2.1.5",
     "@lumino/widgets": "^2.7.2",
     "react": "^18.2.0",

package/schema/menu-override.json

@@ -0,0 +1,32 @@
+{
+  "title": "Menu override",
+  "description": "Override some menu items",
+  "jupyter.lab.menus": {
+    "main": [
+      {
+        "id": "jp-mainmenu-view",
+        "items": [
+          {
+            "command": "toc:show-panel",
+            "disabled": true
+          },
+          {
+            "command": "toc:toggle-panel",
+            "rank": 4
+          },
+          {
+            "command": "debugger:show-panel",
+            "disabled": true
+          },
+          {
+            "command": "debugger:toggle-panel",
+            "rank": 5
+          }
+        ]
+      }
+    ]
+  },
+  "properties": {},
+  "additionalProperties": false,
+  "type": "object"
+}