提交 7d452519 编写于 作者: B Benjamin Pasero

skipRevealIfOpen if a specific position is provided

上级 bf6729bb
......@@ -1302,7 +1302,7 @@ export class EditorPart extends Part implements IEditorPart, IEditorGroupService
}
// Respect option to reveal an editor if it is open (not necessarily visible)
const skipRevealIfOpen = (options && options.index) || arg1;
const skipRevealIfOpen = (options && options.index) || arg1 === true /* open to side */ || typeof arg1 === 'number' /* open specific group */;
if (!skipRevealIfOpen && this.revealIfOpen) {
const group = this.stacks.findGroup(input);
if (group) {
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册