@jupyter-notebook/application 7.7.0-alpha.0 → 7.7.0-alpha.1

package/lib/shell.d.ts

@@ -168,6 +168,14 @@ export declare class NotebookShell extends Widget implements JupyterFrontEnd.ISh
      * Handle a change on the down panel widgets
      */
     private _onTabPanelChanged;
+    /**
+     * Show the down panel, restoring its previous relative size.
+     */
+    private _showDownPanel;
+    /**
+     * Hide the down panel, saving its relative size to restore it later.
+     */
+    private _hideDownPanel;
     private _topWrapper;
     private _topHandler;
     private _menuWrapper;
@@ -178,7 +186,9 @@ export declare class NotebookShell extends Widget implements JupyterFrontEnd.ISh
     private _spacer_bottom;
     private _skipLinkWidgetHandler;
     private _main;
+    private _vsplitPanel;
     private _downPanel;
+    private _lastDownAreaSize;
     private _translator;
     private _currentChanged;
     private _mainWidgetLoaded;

package/lib/shell.js

@@ -7,6 +7,10 @@ import { Signal } from '@lumino/signaling';
 import { BoxLayout, Panel, SplitPanel, Widget, } from '@lumino/widgets';
 import { PanelHandler, SidePanelHandler } from './panelhandler';
 import { TabPanelSvg } from '@jupyterlab/ui-components';
+/**
+ * The default relative size of the down area when it is expanded.
+ */
+const DEFAULT_DOWN_AREA_SIZE = 0.25;
 /**
  * The Jupyter Notebook application shell token.
  */
@@ -21,6 +25,7 @@ const DEFAULT_RANK = 900;
 export class NotebookShell extends Widget {
     constructor() {
         super();
+        this._lastDownAreaSize = DEFAULT_DOWN_AREA_SIZE;
         this._translator = nullTranslator;
         this._currentChanged = new Signal(this);
         this._mainWidgetLoaded = new PromiseDelegate();
@@ -73,6 +78,7 @@ export class NotebookShell extends Widget {
         middlePanel.addWidget(this._spacer_bottom);
         middlePanel.layout = middleLayout;
         const vsplitPanel = new SplitPanel();
+        this._vsplitPanel = vsplitPanel;
         vsplitPanel.id = 'jp-main-vsplit-panel';
         vsplitPanel.spacing = 1;
         vsplitPanel.orientation = 'vertical';
@@ -82,6 +88,7 @@ export class NotebookShell extends Widget {
         });
         this._downPanel = downPanel;
         this._downPanel.id = 'jp-down-stack';
+        SplitPanel.setStretch(downPanel, 0);
         // TODO: Consider storing this as an attribute this._hsplitPanel if saving/restoring layout needed
         const hsplitPanel = new SplitPanel();
         hsplitPanel.id = 'main-split-panel';
@@ -204,8 +211,14 @@ export class NotebookShell extends Widget {
                     this.expandRight(id);
                 }
                 else if (area === 'down') {
-                    this._downPanel.show();
-                    widget.activate();
+                    const tabIndex = this._downPanel.tabBar.titles.findIndex((title) => title.owner.id === id);
+                    if (tabIndex >= 0) {
+                        this._downPanel.currentIndex = tabIndex;
+                        if (this._downPanel.isHidden) {
+                            this._showDownPanel();
+                        }
+                        widget.activate();
+                    }
                 }
                 else {
                     widget.activate();
@@ -417,9 +430,31 @@ export class NotebookShell extends Widget {
      */
     _onTabPanelChanged() {
         if (this._downPanel.stackedPanel.widgets.length === 0) {
-            this._downPanel.hide();
+            this._hideDownPanel();
         }
     }
+    /**
+     * Show the down panel, restoring its previous relative size.
+     */
+    _showDownPanel(size = this._lastDownAreaSize) {
+        const downSize = size > 0.0 ? size : DEFAULT_DOWN_AREA_SIZE;
+        this._lastDownAreaSize = downSize;
+        this._vsplitPanel.setRelativeSizes([
+            Math.max(1.0 - downSize, 0.0),
+            downSize,
+        ]);
+        this._downPanel.show();
+    }
+    /**
+     * Hide the down panel, saving its relative size to restore it later.
+     */
+    _hideDownPanel() {
+        const size = this._vsplitPanel.relativeSizes()[1];
+        if (size > 0.0) {
+            this._lastDownAreaSize = size;
+        }
+        this._downPanel.hide();
+    }
 }
 export var Private;
 (function (Private) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@jupyter-notebook/application",
-  "version": "7.7.0-alpha.0",
+  "version": "7.7.0-alpha.1",
   "description": "Jupyter Notebook - Application",
   "homepage": "https://github.com/jupyter/notebook",
   "bugs": {
@@ -42,11 +42,11 @@
     "watch": "tsc -b --watch"
   },
   "dependencies": {
-    "@jupyterlab/application": "~4.7.0-alpha.0",
-    "@jupyterlab/coreutils": "~6.7.0-alpha.0",
-    "@jupyterlab/docregistry": "~4.7.0-alpha.0",
-    "@jupyterlab/rendermime-interfaces": "~3.15.0-alpha.0",
-    "@jupyterlab/ui-components": "~4.7.0-alpha.0",
+    "@jupyterlab/application": "~4.7.0-alpha.1",
+    "@jupyterlab/coreutils": "~6.7.0-alpha.1",
+    "@jupyterlab/docregistry": "~4.7.0-alpha.1",
+    "@jupyterlab/rendermime-interfaces": "~3.15.0-alpha.1",
+    "@jupyterlab/ui-components": "~4.7.0-alpha.1",
     "@lumino/algorithm": "^2.0.4",
     "@lumino/coreutils": "^2.2.2",
     "@lumino/messaging": "^2.0.4",
@@ -57,7 +57,7 @@
   "devDependencies": {
     "@babel/core": "^7.29.6",
     "@babel/preset-env": "^7.12.1",
-    "@jupyterlab/testutils": "~4.7.0-alpha.0",
+    "@jupyterlab/testutils": "~4.7.0-alpha.1",
     "@types/jest": "^29.2.5",
     "jest": "^29.3.1",
     "rimraf": "^3.0.2",