提交 ad827cd3 编写于 作者: I isidor

editorService: be a bit smarter with revealIfOpened

Give priority to a group if the Editor is already active
上级 da25e080
......@@ -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<boolean>('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;
}
}
}
}
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册