From 2d1a88f3eeaac75bcb9c89f8d7c42c3f7e8a4ee2 Mon Sep 17 00:00:00 2001 From: martinRenou Date: Tue, 27 Jun 2023 15:52:54 +0200 Subject: [PATCH] Don't switch tab everytime there is a model change --- src/viewPanel/sessionWidget.ts | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/src/viewPanel/sessionWidget.ts b/src/viewPanel/sessionWidget.ts index 37b028e..cd31c9f 100644 --- a/src/viewPanel/sessionWidget.ts +++ b/src/viewPanel/sessionWidget.ts @@ -155,7 +155,7 @@ export class SessionWidget extends BoxPanel { private async _onTabsChanged() { await this._pythonSessionCreated.promise; - let newTabIndex = 1; + let newTabIndex: number | undefined = undefined; const currentIndex = this._tabPanel.topBar.currentIndex; const tabNames = this._model.getTabNames(); @@ -184,10 +184,12 @@ export class SessionWidget extends BoxPanel { // todo // } // } - if (currentIndex === 0) { - newTabIndex = 0; + if (newTabIndex !== undefined) { + if (currentIndex === 0) { + newTabIndex = 0; + } + this._tabPanel.activateTab(newTabIndex + 1); } - this._tabPanel.activateTab(newTabIndex + 1); } private _onFocusedTabChanged(