@jupyter-notebook/application-extension 7.0.0-alpha.16 → 7.0.0-alpha.17

package/lib/index.js

@@ -1,7 +1,7 @@
 // Copyright (c) Jupyter Development Team.
 // Distributed under the terms of the Modified BSD License.
-import { ILabStatus, IRouter, ITreePathUpdater, JupyterFrontEnd } from '@jupyterlab/application';
-import { sessionContextDialogs, ISessionContextDialogs, DOMUtils, ICommandPalette, IToolbarWidgetRegistry } from '@jupyterlab/apputils';
+import { ILabStatus, IRouter, ITreePathUpdater, JupyterFrontEnd, } from '@jupyterlab/application';
+import { DOMUtils, ICommandPalette, IToolbarWidgetRegistry, } from '@jupyterlab/apputils';
 import { ConsolePanel } from '@jupyterlab/console';
 import { PageConfig, PathExt, URLExt } from '@jupyterlab/coreutils';
 import { IDocumentManager, renameDialog } from '@jupyterlab/docmanager';
@@ -9,10 +9,10 @@ import { DocumentWidget } from '@jupyterlab/docregistry';
 import { IMainMenu } from '@jupyterlab/mainmenu';
 import { ISettingRegistry } from '@jupyterlab/settingregistry';
 import { ITranslator } from '@jupyterlab/translation';
-import { NotebookApp, NotebookShell, INotebookShell, SidePanelPalette } from '@jupyter-notebook/application';
+import { NotebookApp, NotebookShell, INotebookShell, SidePanelPalette, } from '@jupyter-notebook/application';
 import { jupyterIcon } from '@jupyter-notebook/ui-components';
 import { PromiseDelegate } from '@lumino/coreutils';
-import { DisposableDelegate, DisposableSet } from '@lumino/disposable';
+import { DisposableDelegate, DisposableSet, } from '@lumino/disposable';
 import { Menu, Widget } from '@lumino/widgets';
 /**
  * A regular expression to match path to notebooks and documents
@@ -69,12 +69,12 @@ const dirty = {
         }
         const trans = translator.load('notebook');
         const message = trans.__('Are you sure you want to exit Jupyter Notebook?\n\nAny unsaved changes will be lost.');
-        window.addEventListener('beforeunload', event => {
+        window.addEventListener('beforeunload', (event) => {
             if (app.status.isDirty) {
                 return (event.returnValue = message);
             }
         });
-    }
+    },
 };
 /**
  * The logo plugin.
@@ -95,11 +95,11 @@ const logo = {
             padding: '2px 2px 2px 8px',
             height: '28px',
             width: 'auto',
-            cursor: 'pointer'
+            cursor: 'pointer',
         });
         logo.id = 'jp-NotebookLogo';
         app.shell.add(logo, 'top', { rank: 0 });
-    }
+    },
 };
 /**
  * A plugin to open documents in the main area.
@@ -125,13 +125,13 @@ const opener = {
                 const factory = (_b = urlParams.get('factory')) !== null && _b !== void 0 ? _b : 'default';
                 app.started.then(async () => {
                     docManager.open(file, factory, undefined, {
-                        ref: '_noref'
+                        ref: '_noref',
                     });
                 });
-            }
+            },
         });
         router.register({ command, pattern: TREE_PATTERN });
-    }
+    },
 };
 /**
  * A plugin to customize menus
@@ -159,7 +159,7 @@ const menus = {
             default:
                 break;
         }
-    }
+    },
 };
 /**
  * A plugin to provide a spacer at rank 900 in the menu area
@@ -172,7 +172,7 @@ const menuSpacer = {
         menu.id = DOMUtils.createDomID();
         menu.addClass('jp-NotebookSpacer');
         app.shell.add(menu, 'menu', { rank: 900 });
-    }
+    },
 };
 /**
  * Add commands to open the tree and running pages.
@@ -189,7 +189,7 @@ const pages = {
             label: trans.__('Open JupyterLab'),
             execute: () => {
                 window.open(`${baseUrl}lab`);
-            }
+            },
         });
         const page = PageConfig.getOption('notebookPage');
         app.commands.addCommand(CommandIDs.openTree, {
@@ -201,13 +201,13 @@ const pages = {
                 else {
                     window.open(`${baseUrl}tree`);
                 }
-            }
+            },
         });
         if (palette) {
             palette.addItem({ command: CommandIDs.openLab, category: 'View' });
             palette.addItem({ command: CommandIDs.openTree, category: 'View' });
         }
-    }
+    },
 };
 /**
  * The default paths for a Jupyter Notebook app.
@@ -221,16 +221,7 @@ const paths = {
             throw new Error(`${paths.id} must be activated in Jupyter Notebook.`);
         }
         return app.paths;
-    }
-};
-/**
- * The default session dialogs plugin
- */
-const sessionDialogs = {
-    id: '@jupyter-notebook/application-extension:session-dialogs',
-    provides: ISessionContextDialogs,
-    autoStart: true,
-    activate: () => sessionContextDialogs
+    },
 };
 /**
  * The default Jupyter Notebook application shell.
@@ -244,7 +235,7 @@ const shell = {
         return app.shell;
     },
     autoStart: true,
-    provides: INotebookShell
+    provides: INotebookShell,
 };
 /**
  * The default JupyterLab application status provider.
@@ -258,7 +249,7 @@ const status = {
             throw new Error(`${status.id} must be activated in Jupyter Notebook.`);
         }
         return app.status;
-    }
+    },
 };
 /**
  * A plugin to display the document title in the browser tab title
@@ -292,7 +283,7 @@ const tabTitle = {
         };
         shell.currentChanged.connect(setTabTitle);
         setTabTitle();
-    }
+    },
 };
 /**
  * A plugin to display and rename the title of a file
@@ -307,7 +298,7 @@ const title = {
         const trans = translator.load('notebook');
         const node = document.createElement('div');
         if (toolbarRegistry) {
-            toolbarRegistry.addFactory('TopBar', 'widgetTitle', toolbar => {
+            toolbarRegistry.addFactory('TopBar', 'widgetTitle', (toolbar) => {
                 const widget = new Widget({ node });
                 widget.id = 'jp-title';
                 return widget;
@@ -361,9 +352,9 @@ const title = {
                     }
                     const encoded = encodeURIComponent(newPath);
                     router.navigate(`/${route}/${encoded}`, {
-                        skipRouting: true
+                        skipRouting: true,
                     });
-                }
+                },
             });
             node.onclick = async () => {
                 void commands.execute(CommandIDs.rename);
@@ -371,7 +362,7 @@ const title = {
         };
         shell.currentChanged.connect(addTitle);
         void addTitle();
-    }
+    },
 };
 /**
  * Plugin to toggle the top header visibility.
@@ -392,7 +383,7 @@ const topVisibility = {
                     void settingRegistry.set(pluginId, 'visible', top.isVisible);
                 }
             },
-            isToggled: () => top.isVisible
+            isToggled: () => top.isVisible,
         });
         let settingsOverride = false;
         if (settingRegistry) {
@@ -407,7 +398,7 @@ const topVisibility = {
             Promise.all([loadSettings, app.restored])
                 .then(([settings]) => {
                 updateSettings(settings);
-                settings.changed.connect(settings => {
+                settings.changed.connect((settings) => {
                     updateSettings(settings);
                 });
             })
@@ -432,7 +423,7 @@ const topVisibility = {
         // listen on format change (mobile and desktop) to make the view more compact
         app.formatChanged.connect(onChanged);
     },
-    autoStart: true
+    autoStart: true,
 };
 /**
  * Plugin to toggle the left or right side panel's visibility.
@@ -450,8 +441,8 @@ const sidePanelVisibility = {
          * id, widget ID to activate in the side panel
          */
         app.commands.addCommand(CommandIDs.togglePanel, {
-            label: args => args['title'],
-            caption: args => {
+            label: (args) => args['title'],
+            caption: (args) => {
                 // We do not substitute the parameter into the string because the parameter is not
                 // localized (e.g., it is always 'left') even though the string is localized.
                 if (args['side'] === 'left') {
@@ -462,7 +453,7 @@ const sidePanelVisibility = {
                 }
                 return trans.__('Show %1 in the sidebar', args['title']);
             },
-            execute: args => {
+            execute: (args) => {
                 var _a, _b;
                 switch (args['side']) {
                     case 'left':
@@ -495,7 +486,7 @@ const sidePanelVisibility = {
                         break;
                 }
             },
-            isToggled: args => {
+            isToggled: (args) => {
                 switch (args['side']) {
                     case 'left': {
                         if (notebookShell.leftCollapsed) {
@@ -519,11 +510,11 @@ const sidePanelVisibility = {
                     }
                 }
                 return false;
-            }
+            },
         });
         const sidePanelMenu = {
             left: null,
-            right: null
+            right: null,
         };
         /**
          * The function which adds entries to the View menu for each widget of a side panel.
@@ -550,8 +541,8 @@ const sidePanelVisibility = {
                     args: {
                         side: area,
                         title: `Show ${widget.title.caption}`,
-                        id: widget.id
-                    }
+                        id: widget.id,
+                    },
                 });
                 menuToAdd = true;
             }
@@ -559,7 +550,7 @@ const sidePanelVisibility = {
             if (menuToAdd) {
                 sidePanelMenu[area] = menu.viewMenu.addItem({
                     type: 'submenu',
-                    submenu: newMenu
+                    submenu: newMenu,
                 });
             }
         };
@@ -593,12 +584,12 @@ const sidePanelVisibility = {
             if (palette) {
                 const sidePanelPalette = new SidePanelPalette({
                     commandPalette: palette,
-                    command: CommandIDs.togglePanel
+                    command: CommandIDs.togglePanel,
                 });
-                notebookShell.leftHandler.widgets.forEach(widget => {
+                notebookShell.leftHandler.widgets.forEach((widget) => {
                     sidePanelPalette.addItem(widget, notebookShell.leftHandler.area);
                 });
-                notebookShell.rightHandler.widgets.forEach(widget => {
+                notebookShell.rightHandler.widgets.forEach((widget) => {
                     sidePanelPalette.addItem(widget, notebookShell.rightHandler.area);
                 });
                 // Update menu and palette when widgets are added or removed from side panels.
@@ -616,7 +607,7 @@ const sidePanelVisibility = {
                 });
             }
         });
-    }
+    },
 };
 /**
  * The default tree route resolver plugin.
@@ -644,7 +635,7 @@ const tree = {
                 // Clean up artifacts immediately upon routing.
                 set.dispose();
                 delegate.resolve({ browser, file: PageConfig.getOption('treePath') });
-            })
+            }),
         }));
         set.add(router.register({ command: CommandIDs.resolveTree, pattern: treePattern }));
         // If a route is handled by the router without the tree command being
@@ -661,7 +652,7 @@ const tree = {
             router.routed.disconnect(listener);
         }));
         return { paths: delegate.promise };
-    }
+    },
 };
 const treePathUpdater = {
     id: '@jupyter-notebook/application-extension:tree-updater',
@@ -678,7 +669,7 @@ const treePathUpdater = {
         }
         return updateTreePath;
     },
-    autoStart: true
+    autoStart: true,
 };
 const translator = {
     id: '@jupyter-notebook/application-extension:translator',
@@ -686,7 +677,7 @@ const translator = {
     autoStart: true,
     activate: (app, notebookShell, translator) => {
         notebookShell.translator = translator;
-    }
+    },
 };
 /**
  * Zen mode plugin
@@ -722,7 +713,7 @@ const zen = {
                     document.exitFullscreen();
                     toggleOff();
                 }
-            }
+            },
         });
         document.addEventListener('fullscreenchange', () => {
             if (!document.fullscreenElement) {
@@ -732,7 +723,7 @@ const zen = {
         if (palette) {
             palette.addItem({ command: CommandIDs.toggleZen, category: 'Mode' });
         }
-    }
+    },
 };
 /**
  * Export the plugins as default.
@@ -745,7 +736,6 @@ const plugins = [
     opener,
     pages,
     paths,
-    sessionDialogs,
     shell,
     sidePanelVisibility,
     status,
@@ -755,6 +745,6 @@ const plugins = [
     tree,
     treePathUpdater,
     translator,
-    zen
+    zen,
 ];
 export default plugins;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@jupyter-notebook/application-extension",
-  "version": "7.0.0-alpha.16",
+  "version": "7.0.0-alpha.17",
   "description": "Jupyter Notebook - Application Extension",
   "homepage": "https://github.com/jupyter/notebook",
   "bugs": {
@@ -38,26 +38,26 @@
     "watch": "tsc -b --watch"
   },
   "dependencies": {
-    "@jupyter-notebook/application": "^7.0.0-alpha.16",
-    "@jupyter-notebook/ui-components": "^7.0.0-alpha.16",
-    "@jupyterlab/application": "^4.0.0-alpha.21",
-    "@jupyterlab/apputils": "^4.0.0-alpha.21",
+    "@jupyter-notebook/application": "^7.0.0-alpha.17",
+    "@jupyter-notebook/ui-components": "^7.0.0-alpha.17",
+    "@jupyterlab/application": "^4.0.0-alpha.22",
+    "@jupyterlab/apputils": "^4.0.0-alpha.22",
     "@jupyterlab/celltags": "^4.0.0-alpha.20",
-    "@jupyterlab/codeeditor": "^4.0.0-alpha.21",
-    "@jupyterlab/console": "^4.0.0-alpha.21",
-    "@jupyterlab/coreutils": "^6.0.0-alpha.21",
-    "@jupyterlab/docmanager": "^4.0.0-alpha.21",
-    "@jupyterlab/docregistry": "^4.0.0-alpha.21",
-    "@jupyterlab/mainmenu": "^4.0.0-alpha.21",
-    "@jupyterlab/settingregistry": "^4.0.0-alpha.21",
-    "@jupyterlab/translation": "^4.0.0-alpha.21",
-    "@lumino/coreutils": "^2.0.0-rc.1",
-    "@lumino/disposable": "^2.0.0-rc.1",
-    "@lumino/widgets": "^2.0.0-rc.1"
+    "@jupyterlab/codeeditor": "^4.0.0-alpha.22",
+    "@jupyterlab/console": "^4.0.0-alpha.22",
+    "@jupyterlab/coreutils": "^6.0.0-alpha.22",
+    "@jupyterlab/docmanager": "^4.0.0-alpha.22",
+    "@jupyterlab/docregistry": "^4.0.0-alpha.22",
+    "@jupyterlab/mainmenu": "^4.0.0-alpha.22",
+    "@jupyterlab/settingregistry": "^4.0.0-alpha.22",
+    "@jupyterlab/translation": "^4.0.0-alpha.22",
+    "@lumino/coreutils": "^2.0.0",
+    "@lumino/disposable": "^2.0.0",
+    "@lumino/widgets": "^2.0.0"
   },
   "devDependencies": {
     "rimraf": "^3.0.2",
-    "typescript": "5.0.1-rc"
+    "typescript": "~5.0.2"
   },
   "publishConfig": {
     "access": "public"