Implement tab manager behavior.

jupyterlab · Apr 13, 2017 · b65090b · b65090b
1 parent 141bce3
commit b65090b
Showing 1 changed file with 23 additions and 5 deletions.
diff --git a/packages/tabmanager-extension/src/index.ts b/packages/tabmanager-extension/src/index.ts
@@ -14,7 +14,7 @@ import {
 } from '@phosphor/algorithm';
 
 import {
-  TabBar
+  TabBar, Widget
 } from '@phosphor/widgets';
 
 
@@ -24,19 +24,37 @@ import {
 const plugin: JupyterLabPlugin<void> = {
   id: 'jupyter.extensions.tab-manager',
   activate: (app: JupyterLab, restorer: ILayoutRestorer): void => {
+    const { commands, shell } = app;
     const tabs = new TabBar({ orientation: 'vertical' });
     const populate = () => {
       tabs.clearTabs();
-      each(app.shell.widgets('main'), widget => { tabs.addTab(widget.title); });
+      each(shell.widgets('main'), widget => { tabs.addTab(widget.title); });
     };
 
     restorer.add(tabs, 'tab-manager');
     tabs.id = 'tab-manager';
     tabs.title.label = 'Tabs';
     populate();
-    app.shell.activeChanged.connect(() => { tabs.update(); });
-    app.shell.currentChanged.connect(() => { populate(); });
-    app.shell.addToLeftArea(tabs, { rank: 600 });
+    shell.addToLeftArea(tabs, { rank: 600 });
+
+    shell.activeChanged.connect(() => { tabs.update(); });
+    shell.currentChanged.connect(() => { populate(); });
+    tabs.tabActivateRequested.connect((sender, tab) => {
+      const id = (tab.title.owner as Widget).id;
+
+      // If the current widget is click, toggle shell mode.
+      if (shell.currentWidget.id === id) {
+        commands.execute('main-jupyterlab:toggle-mode');
+        return;
+      }
+
+      // If a new tab is picked, switch to single-document mode and show it.
+      commands.execute('main-jupyterlab:set-mode', { mode: 'single-document' })
+        .then(() => { shell.activateById(id); });
+    });
+    tabs.tabCloseRequested.connect((sender, tab) => {
+      (tab.title.owner as Widget).close();
+    });
   },
   autoStart: true,
   requires: [ILayoutRestorer]