Don't paste to active editor when a tab is closed by mouse wheel click

Signed-off-by: Dmitry Sharshakov <d3dx12.xx@gmail.com>
eclipse-theia · Apr 15, 2020 · e2dfc1a · e2dfc1a
1 parent 46f5a08
commit e2dfc1a
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/packages/core/src/browser/shell/tab-bars.ts b/packages/core/src/browser/shell/tab-bars.ts
@@ -142,7 +142,11 @@ export class TabBarRenderer extends TabBar.Renderer {
             {
                 key, className, id, title: title.caption, style, dataset,
                 oncontextmenu: this.handleContextMenuEvent,
-                ondblclick: this.handleDblClickEvent
+                ondblclick: this.handleDblClickEvent,
+                onauxclick: (e: MouseEvent) => {
+                    // If user closes the tab using mouse wheel, nothing should be pasted to an active editor
+                    e.preventDefault();
+                }
             },
             h.div(
                 { className: 'theia-tab-icon-label' },