提交 e80df91e 编写于 作者: B Benjamin Pasero

grid - fix copy group to not always copy entire group

上级 23f7e7e4
...@@ -141,7 +141,7 @@ export class NextEditorPart extends Part implements INextEditorGroupsService, IN ...@@ -141,7 +141,7 @@ export class NextEditorPart extends Part implements INextEditorGroupsService, IN
addGroup(fromGroup: INextEditorGroupView | GroupIdentifier, direction: Direction, copy?: CopyKind): INextEditorGroupView { addGroup(fromGroup: INextEditorGroupView | GroupIdentifier, direction: Direction, copy?: CopyKind): INextEditorGroupView {
const fromGroupView = this.asGroupView(fromGroup); const fromGroupView = this.asGroupView(fromGroup);
const newGroupView = this.doCreateGroupView(copy ? fromGroupView : void 0); const newGroupView = this.doCreateGroupView(copy === CopyKind.GROUP ? fromGroupView : void 0);
// Add to grid widget // Add to grid widget
this.gridWidget.addView( this.gridWidget.addView(
...@@ -151,7 +151,7 @@ export class NextEditorPart extends Part implements INextEditorGroupsService, IN ...@@ -151,7 +151,7 @@ export class NextEditorPart extends Part implements INextEditorGroupsService, IN
this.toGridViewDirection(direction), this.toGridViewDirection(direction),
); );
// Check for options // Open Editor if we Copy
const activeEditor = fromGroupView.activeEditor; const activeEditor = fromGroupView.activeEditor;
if (copy && activeEditor) { if (copy && activeEditor) {
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册