Manual backport of jupyterlab#10720, jupyterlab#10790, jupyterlab#11108

3coins · Sep 29, 2021 · 6bfadb6 · 6bfadb6
1 parent c4d1f7b
commit 6bfadb6
Show file tree

Hide file tree

Showing 10 changed files with 516 additions and 293 deletions.
diff --git a/packages/apputils/package.json b/packages/apputils/package.json
@@ -58,6 +58,7 @@
     "@lumino/disposable": "^1.4.3",
     "@lumino/domutils": "^1.2.3",
     "@lumino/messaging": "^1.4.3",
+    "@lumino/polling": "^1.3.3",
     "@lumino/properties": "^1.2.3",
     "@lumino/signaling": "^1.4.3",
     "@lumino/virtualdom": "^1.8.0",

diff --git a/packages/apputils/src/mainareawidget.ts b/packages/apputils/src/mainareawidget.ts
@@ -7,7 +7,7 @@ import { BoxLayout, BoxPanel, Widget } from '@lumino/widgets';
 import { DOMUtils } from './domutils';
 import { Printing } from './printing';
 import { Spinner } from './spinner';
-import { Toolbar } from './toolbar';
+import { ReactiveToolbar, Toolbar } from './toolbar';
 
 /**
  * A widget meant to be contained in the JupyterLab main area.
@@ -40,7 +40,7 @@ export class MainAreaWidget<T extends Widget = Widget>
     const content = (this._content = options.content);
     content.node.setAttribute('role', 'region');
     content.node.setAttribute('aria-label', trans.__('notebook content'));
-    const toolbar = (this._toolbar = options.toolbar || new Toolbar());
+    const toolbar = (this._toolbar = options.toolbar || new ReactiveToolbar());
     toolbar.node.setAttribute('role', 'navigation');
     toolbar.node.setAttribute('aria-label', trans.__('notebook actions'));
     const contentHeader = (this._contentHeader =