editors - await closing of editor before opening to the side (fix #122363) (#136602)

This commit is contained in:
Benjamin Pasero
2021-11-08 19:35:22 +01:00
committed by GitHub
parent b3c13934b1
commit 419744928a
8 changed files with 41 additions and 22 deletions

View File

@@ -280,7 +280,7 @@ export class MainThreadEditorTabs {
if (!editor) {
return;
}
return group.closeEditor(editor);
await group.closeEditor(editor);
}
//#endregion
}

View File

@@ -177,7 +177,8 @@ export class MainThreadTextEditors implements MainThreadTextEditorsShape {
const editorPanes = this._editorService.visibleEditorPanes;
for (let editorPane of editorPanes) {
if (mainThreadEditor.matches(editorPane)) {
return editorPane.group.closeEditor(editorPane.input);
await editorPane.group.closeEditor(editorPane.input);
return;
}
}
}