From 5bf77b350f19dc282e8b01a6799a4f235babc5fa Mon Sep 17 00:00:00 2001
From: Daniel Imms <2193314+Tyriar@users.noreply.github.com>
Date: Mon, 26 Apr 2021 06:04:55 -0700
Subject: [PATCH] Set selection to what is right clicked if outside selection

Fixes #122161
---
 .../contrib/terminal/browser/terminalTabsWidget.ts   | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/vs/workbench/contrib/terminal/browser/terminalTabsWidget.ts b/src/vs/workbench/contrib/terminal/browser/terminalTabsWidget.ts
index 6ba2030c48c..a1d251dc58a 100644
--- a/src/vs/workbench/contrib/terminal/browser/terminalTabsWidget.ts
+++ b/src/vs/workbench/contrib/terminal/browser/terminalTabsWidget.ts
@@ -104,6 +104,18 @@ export class TerminalTabsWidget extends WorkbenchObjectTree<ITerminalInstance>
 			}
 		});
 
+		// Set the selection to whatever is right clicked if it is not inside the selection
+		this.onContextMenu(e => {
+			if (!e.element) {
+				this.setSelection([null]);
+				return;
+			}
+			const selection = this.getSelection();
+			if (!selection || !selection.find(s => e.element === s)) {
+				this.setSelection([e.element]);
+			}
+		});
+
 		this._terminalTabsSingleSelectedContextKey = KEYBINDING_CONTEXT_TERMINAL_TABS_SINGULAR_SELECTION.bindTo(contextKeyService);
 
 		this.onDidChangeSelection(e => {