@jupyter-notebook/application 7.0.0-alpha.8 → 7.0.0-alpha.9

package/lib/index.d.ts

@@ -1,2 +1,3 @@
 export * from './app';
 export * from './shell';
+export * from './panelhandler';

package/lib/index.js

@@ -2,3 +2,4 @@
 // Distributed under the terms of the Modified BSD License.
 export * from './app';
 export * from './shell';
+export * from './panelhandler';

package/lib/panelhandler.d.ts

@@ -0,0 +1,212 @@
+import { ICommandPalette } from '@jupyterlab/apputils';
+import { IDisposable } from '@lumino/disposable';
+import { ISignal } from '@lumino/signaling';
+import { Panel, Widget } from '@lumino/widgets';
+/**
+ * A class which manages a panel and sorts its widgets by rank.
+ */
+export declare class PanelHandler {
+    constructor();
+    /**
+     * Get the panel managed by the handler.
+     */
+    get panel(): Panel;
+    /**
+     * Add a widget to the panel.
+     *
+     * If the widget is already added, it will be moved.
+     */
+    addWidget(widget: Widget, rank: number): void;
+    /**
+     * A message hook for child add/remove messages on the main area dock panel.
+     */
+    private _panelChildHook;
+    protected _items: Private.IRankItem[];
+    protected _panel: Panel;
+}
+/**
+ * A class which manages a side panel that can show at most one widget at a time.
+ */
+export declare class SidePanelHandler extends PanelHandler {
+    /**
+     * Construct a new side panel handler.
+     */
+    constructor(area: SidePanel.Area);
+    /**
+     * Get the current widget in the sidebar panel.
+     */
+    get currentWidget(): Widget | null;
+    /**
+     * Get the area of the side panel
+     */
+    get area(): SidePanel.Area;
+    /**
+     * Whether the panel is visible
+     */
+    get isVisible(): boolean;
+    /**
+     * Get the stacked panel managed by the handler
+     */
+    get panel(): Panel;
+    /**
+     * Get the widgets list.
+     */
+    get widgets(): Readonly<Widget[]>;
+    /**
+     * Signal fired when a widget is added to the panel
+     */
+    get widgetAdded(): ISignal<SidePanelHandler, Widget>;
+    /**
+     * Signal fired when a widget is removed from the panel
+     */
+    get widgetRemoved(): ISignal<SidePanelHandler, Widget>;
+    /**
+     * Expand the sidebar.
+     *
+     * #### Notes
+     * This will open the most recently used widget, or the first widget
+     * if there is no most recently used.
+     */
+    expand(id?: string): void;
+    /**
+     * Activate a widget residing in the stacked panel by ID.
+     *
+     * @param id - The widget's unique ID.
+     */
+    activate(id: string): void;
+    /**
+     * Test whether the sidebar has the given widget by id.
+     */
+    has(id: string): boolean;
+    /**
+     * Collapse the sidebar so no items are expanded.
+     */
+    collapse(): void;
+    /**
+     * Add a widget and its title to the stacked panel.
+     *
+     * If the widget is already added, it will be moved.
+     */
+    addWidget(widget: Widget, rank: number): void;
+    /**
+     * Hide the side panel
+     */
+    hide(): void;
+    /**
+     * Show the side panel
+     */
+    show(): void;
+    /**
+     * Find the insertion index for a rank item.
+     */
+    private _findInsertIndex;
+    /**
+     * Find the index of the item with the given widget, or `-1`.
+     */
+    private _findWidgetIndex;
+    /**
+     * Find the widget with the given id, or `null`.
+     */
+    private _findWidgetByID;
+    /**
+     * Refresh the visibility of the stacked panel.
+     */
+    private _refreshVisibility;
+    private _onWidgetRemoved;
+    private _area;
+    private _isHiddenByUser;
+    private _widgetPanel;
+    private _currentWidget;
+    private _lastCurrentWidget;
+    private _widgetAdded;
+    private _widgetRemoved;
+}
+/**
+ * A name space for SideBarPanel functions.
+ */
+export declare namespace SidePanel {
+    /**
+     * The areas of the sidebar panel
+     */
+    type Area = 'left' | 'right';
+}
+/**
+ * A class to manages the palette entries associated to the side panels.
+ */
+export declare class SidePanelPalette {
+    /**
+     * Construct a new side panel palette.
+     */
+    constructor(options: SidePanelPaletteOption);
+    /**
+     * Get a command palette item from the widget id and the area.
+     */
+    getItem(widget: Readonly<Widget>, area: 'left' | 'right'): SidePanelPaletteItem | null;
+    /**
+     * Add an item to the command palette.
+     */
+    addItem(widget: Readonly<Widget>, area: 'left' | 'right'): void;
+    /**
+     * Remove an item from the command palette.
+     */
+    removeItem(widget: Readonly<Widget>, area: 'left' | 'right'): void;
+    _command: string;
+    _commandPalette: ICommandPalette;
+    _items: SidePanelPaletteItem[];
+}
+declare type SidePanelPaletteItem = {
+    /**
+     * The ID of the widget associated to the command palette.
+     */
+    widgetId: string;
+    /**
+     * The area of the panel associated to the command palette.
+     */
+    area: 'left' | 'right';
+    /**
+     * The disposable object to remove the item from command palette.
+     */
+    disposable: IDisposable;
+};
+/**
+ * An interface for the options to include in SideBarPalette constructor.
+ */
+declare type SidePanelPaletteOption = {
+    /**
+     * The commands palette.
+     */
+    commandPalette: ICommandPalette;
+    /**
+     * The command to call from each side panel menu entry.
+     *
+     * ### Notes
+     * That command required 3 args :
+     *      side: 'left' | 'right', the area to toggle
+     *      title: string, label of the command
+     *      id: string, id of the widget to activate
+     */
+    command: string;
+};
+/**
+ * A namespace for private module data.
+ */
+declare namespace Private {
+    /**
+     * An object which holds a widget and its sort rank.
+     */
+    interface IRankItem {
+        /**
+         * The widget for the item.
+         */
+        widget: Widget;
+        /**
+         * The sort rank of the widget.
+         */
+        rank: number;
+    }
+    /**
+     * A less-than comparison function for side bar rank items.
+     */
+    function itemCmp(first: IRankItem, second: IRankItem): number;
+}
+export {};

package/lib/panelhandler.js

@@ -0,0 +1,329 @@
+// Copyright (c) Jupyter Development Team.
+// Distributed under the terms of the Modified BSD License.
+import { closeIcon } from '@jupyterlab/ui-components';
+import { ArrayExt, find } from '@lumino/algorithm';
+import { MessageLoop } from '@lumino/messaging';
+import { Signal } from '@lumino/signaling';
+import { Panel, StackedPanel, Widget } from '@lumino/widgets';
+/**
+ * A class which manages a panel and sorts its widgets by rank.
+ */
+export class PanelHandler {
+    constructor() {
+        /**
+         * A message hook for child add/remove messages on the main area dock panel.
+         */
+        this._panelChildHook = (handler, msg) => {
+            switch (msg.type) {
+                case 'child-added':
+                    {
+                        const widget = msg.child;
+                        // If we already know about this widget, we're done
+                        if (this._items.find(v => v.widget === widget)) {
+                            break;
+                        }
+                        // Otherwise, add to the end by default
+                        const rank = this._items[this._items.length - 1].rank;
+                        this._items.push({ widget, rank });
+                    }
+                    break;
+                case 'child-removed':
+                    {
+                        const widget = msg.child;
+                        ArrayExt.removeFirstWhere(this._items, v => v.widget === widget);
+                    }
+                    break;
+                default:
+                    break;
+            }
+            return true;
+        };
+        this._items = new Array();
+        this._panel = new Panel();
+        MessageLoop.installMessageHook(this._panel, this._panelChildHook);
+    }
+    /**
+     * Get the panel managed by the handler.
+     */
+    get panel() {
+        return this._panel;
+    }
+    /**
+     * Add a widget to the panel.
+     *
+     * If the widget is already added, it will be moved.
+     */
+    addWidget(widget, rank) {
+        widget.parent = null;
+        const item = { widget, rank };
+        const index = ArrayExt.upperBound(this._items, item, Private.itemCmp);
+        ArrayExt.insert(this._items, index, item);
+        this._panel.insertWidget(index, widget);
+    }
+}
+/**
+ * A class which manages a side panel that can show at most one widget at a time.
+ */
+export class SidePanelHandler extends PanelHandler {
+    /**
+     * Construct a new side panel handler.
+     */
+    constructor(area) {
+        super();
+        this._isHiddenByUser = false;
+        this._widgetAdded = new Signal(this);
+        this._widgetRemoved = new Signal(this);
+        this._area = area;
+        this._panel.hide();
+        this._currentWidget = null;
+        this._lastCurrentWidget = null;
+        this._widgetPanel = new StackedPanel();
+        this._widgetPanel.widgetRemoved.connect(this._onWidgetRemoved, this);
+        const closeButton = document.createElement('button');
+        closeIcon.element({
+            container: closeButton,
+            height: '16px',
+            width: 'auto'
+        });
+        closeButton.onclick = () => {
+            this.collapse();
+            this.hide();
+        };
+        closeButton.className = 'jp-Button jp-SidePanel-collapse';
+        const icon = new Widget({ node: closeButton });
+        this._panel.addWidget(icon);
+        this._panel.addWidget(this._widgetPanel);
+    }
+    /**
+     * Get the current widget in the sidebar panel.
+     */
+    get currentWidget() {
+        return (this._currentWidget ||
+            this._lastCurrentWidget ||
+            (this._items.length > 0 ? this._items[0].widget : null));
+    }
+    /**
+     * Get the area of the side panel
+     */
+    get area() {
+        return this._area;
+    }
+    /**
+     * Whether the panel is visible
+     */
+    get isVisible() {
+        return this._panel.isVisible;
+    }
+    /**
+     * Get the stacked panel managed by the handler
+     */
+    get panel() {
+        return this._panel;
+    }
+    /**
+     * Get the widgets list.
+     */
+    get widgets() {
+        return this._items.map(obj => obj.widget);
+    }
+    /**
+     * Signal fired when a widget is added to the panel
+     */
+    get widgetAdded() {
+        return this._widgetAdded;
+    }
+    /**
+     * Signal fired when a widget is removed from the panel
+     */
+    get widgetRemoved() {
+        return this._widgetRemoved;
+    }
+    /**
+     * Expand the sidebar.
+     *
+     * #### Notes
+     * This will open the most recently used widget, or the first widget
+     * if there is no most recently used.
+     */
+    expand(id) {
+        if (this._currentWidget) {
+            this.collapse();
+        }
+        if (id) {
+            this.activate(id);
+        }
+        else {
+            const visibleWidget = this.currentWidget;
+            if (visibleWidget) {
+                this._currentWidget = visibleWidget;
+                this.activate(visibleWidget.id);
+            }
+        }
+    }
+    /**
+     * Activate a widget residing in the stacked panel by ID.
+     *
+     * @param id - The widget's unique ID.
+     */
+    activate(id) {
+        const widget = this._findWidgetByID(id);
+        if (widget) {
+            this._currentWidget = widget;
+            widget.show();
+            widget.activate();
+        }
+    }
+    /**
+     * Test whether the sidebar has the given widget by id.
+     */
+    has(id) {
+        return this._findWidgetByID(id) !== null;
+    }
+    /**
+     * Collapse the sidebar so no items are expanded.
+     */
+    collapse() {
+        var _a;
+        (_a = this._currentWidget) === null || _a === void 0 ? void 0 : _a.hide();
+        this._currentWidget = null;
+    }
+    /**
+     * Add a widget and its title to the stacked panel.
+     *
+     * If the widget is already added, it will be moved.
+     */
+    addWidget(widget, rank) {
+        widget.parent = null;
+        widget.hide();
+        const item = { widget, rank };
+        const index = this._findInsertIndex(item);
+        ArrayExt.insert(this._items, index, item);
+        this._widgetPanel.insertWidget(index, widget);
+        this._refreshVisibility();
+        this._widgetAdded.emit(widget);
+    }
+    /**
+     * Hide the side panel
+     */
+    hide() {
+        this._isHiddenByUser = true;
+        this._refreshVisibility();
+    }
+    /**
+     * Show the side panel
+     */
+    show() {
+        this._isHiddenByUser = false;
+        this._refreshVisibility();
+    }
+    /**
+     * Find the insertion index for a rank item.
+     */
+    _findInsertIndex(item) {
+        return ArrayExt.upperBound(this._items, item, Private.itemCmp);
+    }
+    /**
+     * Find the index of the item with the given widget, or `-1`.
+     */
+    _findWidgetIndex(widget) {
+        return ArrayExt.findFirstIndex(this._items, i => i.widget === widget);
+    }
+    /**
+     * Find the widget with the given id, or `null`.
+     */
+    _findWidgetByID(id) {
+        const item = find(this._items, value => value.widget.id === id);
+        return item ? item.widget : null;
+    }
+    /**
+     * Refresh the visibility of the stacked panel.
+     */
+    _refreshVisibility() {
+        this._panel.setHidden(this._isHiddenByUser);
+    }
+    /*
+     * Handle the `widgetRemoved` signal from the panel.
+     */
+    _onWidgetRemoved(sender, widget) {
+        if (widget === this._lastCurrentWidget) {
+            this._lastCurrentWidget = null;
+        }
+        ArrayExt.removeAt(this._items, this._findWidgetIndex(widget));
+        this._refreshVisibility();
+        this._widgetRemoved.emit(widget);
+    }
+}
+/**
+ * A class to manages the palette entries associated to the side panels.
+ */
+export class SidePanelPalette {
+    /**
+     * Construct a new side panel palette.
+     */
+    constructor(options) {
+        this._items = [];
+        this._commandPalette = options.commandPalette;
+        this._command = options.command;
+    }
+    /**
+     * Get a command palette item from the widget id and the area.
+     */
+    getItem(widget, area) {
+        const itemList = this._items;
+        for (let i = 0; i < itemList.length; i++) {
+            const item = itemList[i];
+            if (item.widgetId === widget.id && item.area === area) {
+                return item;
+            }
+        }
+        return null;
+    }
+    /**
+     * Add an item to the command palette.
+     */
+    addItem(widget, area) {
+        // Check if the item does not already exist.
+        if (this.getItem(widget, area)) {
+            return;
+        }
+        // Add a new item in command palette.
+        const disposableDelegate = this._commandPalette.addItem({
+            command: this._command,
+            category: 'View',
+            args: {
+                side: area,
+                title: `Show ${widget.title.caption}`,
+                id: widget.id
+            }
+        });
+        // Keep the disposableDelegate objet to be able to dispose of the item if the widget
+        // is remove from the side panel.
+        this._items.push({
+            widgetId: widget.id,
+            area: area,
+            disposable: disposableDelegate
+        });
+    }
+    /**
+     * Remove an item from the command palette.
+     */
+    removeItem(widget, area) {
+        const item = this.getItem(widget, area);
+        if (item) {
+            item.disposable.dispose();
+        }
+    }
+}
+/**
+ * A namespace for private module data.
+ */
+var Private;
+(function (Private) {
+    /**
+     * A less-than comparison function for side bar rank items.
+     */
+    function itemCmp(first, second) {
+        return first.rank - second.rank;
+    }
+    Private.itemCmp = itemCmp;
+})(Private || (Private = {}));

package/lib/shell.d.ts

@@ -2,7 +2,8 @@ import { JupyterFrontEnd } from '@jupyterlab/application';
 import { DocumentRegistry } from '@jupyterlab/docregistry';
 import { Token } from '@lumino/coreutils';
 import { ISignal } from '@lumino/signaling';
-import { Panel, Widget } from '@lumino/widgets';
+import { Widget } from '@lumino/widgets';
+import { SidePanelHandler } from './panelhandler';
 /**
  * The Jupyter Notebook application shell token.
  */
@@ -36,11 +37,11 @@ export declare class NotebookShell extends Widget implements JupyterFrontEnd.ISh
     /**
      * Get the left area handler
      */
-    get leftHandler(): SideBarHandler;
+    get leftHandler(): SidePanelHandler;
     /**
      * Get the right area handler
      */
-    get rightHandler(): SideBarHandler;
+    get rightHandler(): SidePanelHandler;
     /**
      * Is the left sidebar visible?
      */
@@ -119,111 +120,3 @@ export declare namespace Shell {
      */
     type Area = 'main' | 'top' | 'left' | 'right' | 'menu';
 }
-/**
- * A name space for SideBarPanel functions.
- */
-export declare namespace SideBarPanel {
-    /**
-     * The areas of the sidebar panel
-     */
-    type Area = 'left' | 'right';
-}
-/**
- * A class which manages a side bar that can show at most one widget at a time.
- */
-export declare class SideBarHandler {
-    /**
-     * Construct a new side bar handler.
-     */
-    constructor(area: SideBarPanel.Area);
-    /**
-     * Get the current widget in the sidebar panel.
-     */
-    get currentWidget(): Widget | null;
-    /**
-     * Get the area of the side panel
-     */
-    get area(): SideBarPanel.Area;
-    /**
-     * Whether the panel is visible
-     */
-    get isVisible(): boolean;
-    /**
-     * Get the stacked panel managed by the handler
-     */
-    get panel(): Panel;
-    /**
-     * Get the widgets list.
-     */
-    get widgets(): Readonly<Widget[]>;
-    /**
-     * Signal fired when a widget is added to the panel
-     */
-    get widgetAdded(): ISignal<SideBarHandler, Widget>;
-    /**
-     * Signal fired when a widget is removed from the panel
-     */
-    get widgetRemoved(): ISignal<SideBarHandler, Widget>;
-    /**
-     * Expand the sidebar.
-     *
-     * #### Notes
-     * This will open the most recently used widget, or the first widget
-     * if there is no most recently used.
-     */
-    expand(id?: string): void;
-    /**
-     * Activate a widget residing in the stacked panel by ID.
-     *
-     * @param id - The widget's unique ID.
-     */
-    activate(id: string): void;
-    /**
-     * Test whether the sidebar has the given widget by id.
-     */
-    has(id: string): boolean;
-    /**
-     * Collapse the sidebar so no items are expanded.
-     */
-    collapse(): void;
-    /**
-     * Add a widget and its title to the stacked panel.
-     *
-     * If the widget is already added, it will be moved.
-     */
-    addWidget(widget: Widget, rank: number): void;
-    /**
-     * Hide the side panel
-     */
-    hide(): void;
-    /**
-     * Show the side panel
-     */
-    show(): void;
-    /**
-     * Find the insertion index for a rank item.
-     */
-    private _findInsertIndex;
-    /**
-     * Find the index of the item with the given widget, or `-1`.
-     */
-    private _findWidgetIndex;
-    /**
-     * Find the widget with the given id, or `null`.
-     */
-    private _findWidgetByID;
-    /**
-     * Refresh the visibility of the stacked panel.
-     */
-    private _refreshVisibility;
-    private _onWidgetRemoved;
-    private _area;
-    private _isHiddenByUser;
-    private _items;
-    private _panel;
-    private _widgetPanel;
-    private _currentWidget;
-    private _lastCurrentWidget;
-    private _widgetAdded;
-    private _widgetRemoved;
-}

package/lib/shell.js

@@ -1,11 +1,10 @@
 // Copyright (c) Jupyter Development Team.
 // Distributed under the terms of the Modified BSD License.
-import { closeIcon } from '@jupyterlab/ui-components';
-import { ArrayExt, find } from '@lumino/algorithm';
+import { find } from '@lumino/algorithm';
 import { PromiseDelegate, Token } from '@lumino/coreutils';
-import { MessageLoop } from '@lumino/messaging';
 import { Signal } from '@lumino/signaling';
-import { BoxLayout, Panel, SplitPanel, StackedPanel, Widget } from '@lumino/widgets';
+import { BoxLayout, Panel, SplitPanel, Widget } from '@lumino/widgets';
+import { PanelHandler, SidePanelHandler } from './panelhandler';
 /**
  * The Jupyter Notebook application shell token.
  */
@@ -23,10 +22,10 @@ export class NotebookShell extends Widget {
         this._currentChanged = new Signal(this);
         this._mainWidgetLoaded = new PromiseDelegate();
         this.id = 'main';
-        this._topHandler = new Private.PanelHandler();
-        this._menuHandler = new Private.PanelHandler();
-        this._leftHandler = new SideBarHandler('left');
-        this._rightHandler = new SideBarHandler('right');
+        this._topHandler = new PanelHandler();
+        this._menuHandler = new PanelHandler();
+        this._leftHandler = new SidePanelHandler('left');
+        this._rightHandler = new SidePanelHandler('right');
         this._main = new Panel();
         const topWrapper = (this._topWrapper = new Panel());
         const menuWrapper = (this._menuWrapper = new Panel());
@@ -263,266 +262,3 @@ export class NotebookShell extends Widget {
         this._rightHandler.panel.hide();
     }
 }
-/**
- * A class which manages a side bar that can show at most one widget at a time.
- */
-export class SideBarHandler {
-    /**
-     * Construct a new side bar handler.
-     */
-    constructor(area) {
-        this._isHiddenByUser = false;
-        this._items = new Array();
-        this._widgetAdded = new Signal(this);
-        this._widgetRemoved = new Signal(this);
-        this._area = area;
-        this._panel = new Panel();
-        this._panel.hide();
-        this._currentWidget = null;
-        this._lastCurrentWidget = null;
-        this._widgetPanel = new StackedPanel();
-        this._widgetPanel.widgetRemoved.connect(this._onWidgetRemoved, this);
-        const closeButton = document.createElement('button');
-        closeIcon.element({
-            container: closeButton,
-            height: '16px',
-            width: 'auto'
-        });
-        closeButton.onclick = () => {
-            this.collapse();
-            this.hide();
-        };
-        closeButton.className = 'jp-Button jp-SidePanel-collapse';
-        const icon = new Widget({ node: closeButton });
-        this._panel.addWidget(icon);
-        this._panel.addWidget(this._widgetPanel);
-    }
-    /**
-     * Get the current widget in the sidebar panel.
-     */
-    get currentWidget() {
-        return (this._currentWidget ||
-            this._lastCurrentWidget ||
-            (this._items.length > 0 ? this._items[0].widget : null));
-    }
-    /**
-     * Get the area of the side panel
-     */
-    get area() {
-        return this._area;
-    }
-    /**
-     * Whether the panel is visible
-     */
-    get isVisible() {
-        return this._panel.isVisible;
-    }
-    /**
-     * Get the stacked panel managed by the handler
-     */
-    get panel() {
-        return this._panel;
-    }
-    /**
-     * Get the widgets list.
-     */
-    get widgets() {
-        return this._items.map(obj => obj.widget);
-    }
-    /**
-     * Signal fired when a widget is added to the panel
-     */
-    get widgetAdded() {
-        return this._widgetAdded;
-    }
-    /**
-     * Signal fired when a widget is removed from the panel
-     */
-    get widgetRemoved() {
-        return this._widgetRemoved;
-    }
-    /**
-     * Expand the sidebar.
-     *
-     * #### Notes
-     * This will open the most recently used widget, or the first widget
-     * if there is no most recently used.
-     */
-    expand(id) {
-        if (this._currentWidget) {
-            this.collapse();
-        }
-        if (id) {
-            this.activate(id);
-        }
-        else {
-            const visibleWidget = this.currentWidget;
-            if (visibleWidget) {
-                this._currentWidget = visibleWidget;
-                this.activate(visibleWidget.id);
-            }
-        }
-    }
-    /**
-     * Activate a widget residing in the stacked panel by ID.
-     *
-     * @param id - The widget's unique ID.
-     */
-    activate(id) {
-        const widget = this._findWidgetByID(id);
-        if (widget) {
-            this._currentWidget = widget;
-            widget.show();
-            widget.activate();
-        }
-    }
-    /**
-     * Test whether the sidebar has the given widget by id.
-     */
-    has(id) {
-        return this._findWidgetByID(id) !== null;
-    }
-    /**
-     * Collapse the sidebar so no items are expanded.
-     */
-    collapse() {
-        var _a;
-        (_a = this._currentWidget) === null || _a === void 0 ? void 0 : _a.hide();
-        this._currentWidget = null;
-    }
-    /**
-     * Add a widget and its title to the stacked panel.
-     *
-     * If the widget is already added, it will be moved.
-     */
-    addWidget(widget, rank) {
-        widget.parent = null;
-        widget.hide();
-        const item = { widget, rank };
-        const index = this._findInsertIndex(item);
-        ArrayExt.insert(this._items, index, item);
-        this._widgetPanel.insertWidget(index, widget);
-        this._refreshVisibility();
-        this._widgetAdded.emit(widget);
-    }
-    /**
-     * Hide the side panel
-     */
-    hide() {
-        this._isHiddenByUser = true;
-        this._refreshVisibility();
-    }
-    /**
-     * Show the side panel
-     */
-    show() {
-        this._isHiddenByUser = false;
-        this._refreshVisibility();
-    }
-    /**
-     * Find the insertion index for a rank item.
-     */
-    _findInsertIndex(item) {
-        return ArrayExt.upperBound(this._items, item, Private.itemCmp);
-    }
-    /**
-     * Find the index of the item with the given widget, or `-1`.
-     */
-    _findWidgetIndex(widget) {
-        return ArrayExt.findFirstIndex(this._items, i => i.widget === widget);
-    }
-    /**
-     * Find the widget with the given id, or `null`.
-     */
-    _findWidgetByID(id) {
-        const item = find(this._items, value => value.widget.id === id);
-        return item ? item.widget : null;
-    }
-    /**
-     * Refresh the visibility of the stacked panel.
-     */
-    _refreshVisibility() {
-        this._panel.setHidden(this._isHiddenByUser);
-    }
-    /*
-     * Handle the `widgetRemoved` signal from the panel.
-     */
-    _onWidgetRemoved(sender, widget) {
-        if (widget === this._lastCurrentWidget) {
-            this._lastCurrentWidget = null;
-        }
-        ArrayExt.removeAt(this._items, this._findWidgetIndex(widget));
-        this._refreshVisibility();
-        this._widgetRemoved.emit(widget);
-    }
-}
-/**
- * A namespace for private module data.
- */
-var Private;
-(function (Private) {
-    /**
-     * A less-than comparison function for side bar rank items.
-     */
-    function itemCmp(first, second) {
-        return first.rank - second.rank;
-    }
-    Private.itemCmp = itemCmp;
-    /**
-     * A class which manages a panel and sorts its widgets by rank.
-     */
-    class PanelHandler {
-        constructor() {
-            /**
-             * A message hook for child add/remove messages on the main area dock panel.
-             */
-            this._panelChildHook = (handler, msg) => {
-                switch (msg.type) {
-                    case 'child-added':
-                        {
-                            const widget = msg.child;
-                            // If we already know about this widget, we're done
-                            if (this._items.find(v => v.widget === widget)) {
-                                break;
-                            }
-                            // Otherwise, add to the end by default
-                            const rank = this._items[this._items.length - 1].rank;
-                            this._items.push({ widget, rank });
-                        }
-                        break;
-                    case 'child-removed':
-                        {
-                            const widget = msg.child;
-                            ArrayExt.removeFirstWhere(this._items, v => v.widget === widget);
-                        }
-                        break;
-                    default:
-                        break;
-                }
-                return true;
-            };
-            this._items = new Array();
-            this._panel = new Panel();
-            MessageLoop.installMessageHook(this._panel, this._panelChildHook);
-        }
-        /**
-         * Get the panel managed by the handler.
-         */
-        get panel() {
-            return this._panel;
-        }
-        /**
-         * Add a widget to the panel.
-         *
-         * If the widget is already added, it will be moved.
-         */
-        addWidget(widget, rank) {
-            widget.parent = null;
-            const item = { widget, rank };
-            const index = ArrayExt.upperBound(this._items, item, Private.itemCmp);
-            ArrayExt.insert(this._items, index, item);
-            this._panel.insertWidget(index, widget);
-        }
-    }
-    Private.PanelHandler = PanelHandler;
-})(Private || (Private = {}));

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@jupyter-notebook/application",
-  "version": "7.0.0-alpha.8",
+  "version": "7.0.0-alpha.9",
   "description": "Jupyter Notebook - Application",
   "homepage": "https://github.com/jupyter/notebook",
   "bugs": {
@@ -43,11 +43,11 @@
     "watch": "tsc -b --watch"
   },
   "dependencies": {
-    "@jupyterlab/application": "^4.0.0-alpha.15",
-    "@jupyterlab/coreutils": "^6.0.0-alpha.15",
-    "@jupyterlab/docregistry": "^4.0.0-alpha.15",
-    "@jupyterlab/rendermime-interfaces": "^3.8.0-alpha.15",
-    "@jupyterlab/ui-components": "^4.0.0-alpha.30",
+    "@jupyterlab/application": "^4.0.0-alpha.16",
+    "@jupyterlab/coreutils": "^6.0.0-alpha.16",
+    "@jupyterlab/docregistry": "^4.0.0-alpha.16",
+    "@jupyterlab/rendermime-interfaces": "^3.8.0-alpha.16",
+    "@jupyterlab/ui-components": "^4.0.0-alpha.31",
     "@lumino/algorithm": "^2.0.0-alpha.6",
     "@lumino/coreutils": "^2.0.0-alpha.6",
     "@lumino/messaging": "^2.0.0-alpha.6",
@@ -58,7 +58,7 @@
   "devDependencies": {
     "@babel/core": "^7.11.6",
     "@babel/preset-env": "^7.12.1",
-    "@jupyterlab/testutils": "^4.0.0-alpha.15",
+    "@jupyterlab/testutils": "^4.0.0-alpha.16",
     "@types/jest": "^26.0.10",
     "jest": "^26.4.2",
     "rimraf": "^3.0.2",