From ad827cd3e83449359a62794ecadcb6c6f20cab8d Mon Sep 17 00:00:00 2001 From: isidor Date: Wed, 21 Aug 2019 17:22:07 +0200 Subject: [PATCH] editorService: be a bit smarter with revealIfOpened Give priority to a group if the Editor is already active --- src/vs/workbench/services/editor/browser/editorService.ts | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/vs/workbench/services/editor/browser/editorService.ts b/src/vs/workbench/services/editor/browser/editorService.ts index bf36c64c500..6c49e86ed19 100644 --- a/src/vs/workbench/services/editor/browser/editorService.ts +++ b/src/vs/workbench/services/editor/browser/editorService.ts @@ -282,10 +282,13 @@ export class EditorService extends Disposable implements EditorServiceImpl { // Respect option to reveal an editor if it is open (not necessarily visible) if ((options && options.revealIfOpened) || this.configurationService.getValue('workbench.editor.revealIfOpen')) { for (const group of groupsByLastActive) { - if (group.isOpened(input)) { + if (group.isOpened(input) && group.isActive(input)) { targetGroup = group; break; } + if (group.isOpened(input)) { + targetGroup = group; + } } } } -- GitLab