提交 4a656590 编写于 作者: B Benjamin Pasero

grid - fix bug removing active view

上级 7e81c46f
......@@ -135,15 +135,19 @@ export class NextEditorPart extends Part implements INextEditorGroupsService {
return;
}
const isActive = groupView.isActive;
const hasFocus = isAncestor(document.activeElement, groupView.element);
// Remove from grid widget & dispose
this.gridWidget.removeView(groupView);
groupView.dispose();
// Remove as active group if it was
if (this._activeGroup === groupView) {
this._activeGroup = void 0;
}
// Activate next group if the removed one was active
if (isActive) {
if (!this._activeGroup) {
const nextActiveGroup = this.asGroupView(this.mostRecentActive[this.mostRecentActive.length - 1]);
this.activateGroup(nextActiveGroup);
......
......@@ -252,7 +252,6 @@ export class NextTabsTitleControl extends NextTitleControl {
protected doUpdate(): void {
// Compute labels and protect against duplicates
const editorsOfGroup = this.group.getEditors();
const labels = this.getTabLabels(editorsOfGroup);
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册