Add tab (#91)

Author: trungleduc

src/document/sharedModel.ts

@@ -111,6 +111,19 @@ export class GlueSessionSharedModel
     this._contents.set(key, value);
   }
 
+  addTab(): void {
+    let idx = 1;
+    let tabName = 'Tab 1';
+    while (this._tabs.has(tabName)) {
+      idx += 1;
+      tabName = `Tab ${idx}`;
+    }
+    const newTab = new Y.Map<IDict>();
+    this.transact(() => {
+      this._tabs.set(tabName, newTab);
+    }, false);
+  }
+
   getTabNames(): string[] {
     return [...this._tabs.keys()];
   }

src/types.ts

@@ -51,6 +51,7 @@ export interface IGlueSessionSharedModel
   tabChanged: ISignal<IGlueSessionSharedModel, IDict>;
   tabsChanged: ISignal<IGlueSessionSharedModel, IDict>;
 
+  addTab(): void;
   getTabNames(): string[];
   getTabData(tabName: string): IDict<IGlueSessionViewerTypes> | undefined;
 

src/viewPanel/sessionWidget.ts

@@ -46,7 +46,9 @@ export class SessionWidget extends BoxPanel {
         addButtonEnabled: true
       }
     });
-
+    this._tabPanel.topBar.addRequested.connect(() => {
+      this._model.addTab();
+    });
     if (this._model) {
       this._linkWidget = new LinkEditor({ sharedModel: this._model });
       this._tabPanel.addTab(this._linkWidget, 0);
@@ -145,15 +147,16 @@ export class SessionWidget extends BoxPanel {
 
   private async _onTabsChanged() {
     await this._pythonSessionCreated.promise;
-
+    let newTabIndex = 1;
+    const currentIndex = this._tabPanel.topBar.currentIndex;
     const tabNames = this._model.getTabNames();
 
     tabNames.forEach((tabName, idx) => {
       // Tab already exists, we don't do anything
       if (tabName in this._tabViews) {
         return;
       }
-
+      newTabIndex = idx;
       // Tab does not exist, we create it
       const tabWidget = (this._tabViews[tabName] = new TabView({
         tabName,
@@ -173,8 +176,10 @@ export class SessionWidget extends BoxPanel {
     //     todo
     //   }
     // }
-
-    this._tabPanel.activateTab(1);
+    if (currentIndex === 0) {
+      newTabIndex = 0;
+    }
+    this._tabPanel.activateTab(newTabIndex + 1);
   }
 
   private _onFocusedTabChanged(