Open terminal links using revealIfOpened

Fixes #130613
microsoft · Sep 7, 2021 · e9f77ae · e9f77ae
1 parent af70df8
commit e9f77ae
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/src/vs/workbench/contrib/terminal/browser/links/terminalLinkManager.ts b/src/vs/workbench/contrib/terminal/browser/links/terminalLinkManager.ts
@@ -188,7 +188,10 @@ export class TerminalLinkManager extends DisposableStore {
 			startLineNumber: lineColumnInfo.lineNumber,
 			startColumn: lineColumnInfo.columnNumber
 		};
-		await this._editorService.openEditor({ resource: resolvedLink.uri, options: { pinned: true, selection } });
+		await this._editorService.openEditor({
+			resource: resolvedLink.uri,
+			options: { pinned: true, selection, revealIfOpened: true }
+		});
 	}
 
 	private _handleHypertextLink(url: string): void {

diff --git a/src/vs/workbench/contrib/terminal/browser/links/terminalWordLinkProvider.ts b/src/vs/workbench/contrib/terminal/browser/links/terminalWordLinkProvider.ts
@@ -152,7 +152,10 @@ export class TerminalWordLinkProvider extends TerminalBaseLinkProvider {
 		// If there was exactly one match, open it
 		if (results.results.length === 1) {
 			const match = results.results[0];
-			await this._editorService.openEditor({ resource: match.resource, options: { pinned: true } });
+			await this._editorService.openEditor({
+				resource: match.resource,
+				options: { pinned: true, revealIfOpened: true }
+			});
 			return;
 		}