Fix condition when editor tabs scroll bar needs to be updated

Fixes eclipse-theia#12476 Contributed on behalf of STMicroelectronics Signed-off-by: Thomas Mäder <[email protected]>
tsmaeder · May 2, 2023 · 9b52742 · 9b52742
1 parent 53c4142
commit 9b52742
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/packages/core/src/browser/shell/tab-bars.ts b/packages/core/src/browser/shell/tab-bars.ts
@@ -726,8 +726,10 @@ export class ScrollableTabBar extends TabBar<Widget> {
             content[i] = this.renderer.renderTab(renderData);
         }
         VirtualDOM.render(content, this.contentNode);
-        if (this.dynamicTabOptions && !this.isMouseOver && this.scrollBar) {
-            this.scrollBar.update();
+        if (this.scrollBar) {
+            if (!(this.dynamicTabOptions && this.isMouseOver)) {
+                this.scrollBar.update();
+            }
         }
     }