Closing a terminal in the editor view unfocus the editor view (fix #171758) (#201047)

This commit is contained in:
Benjamin Pasero 2023-12-16 13:57:29 +01:00 committed by GitHub
parent c52d8fb97a
commit 4847e00791
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -706,7 +706,7 @@ export class EditorGroupView extends Themable implements IEditorGroupView {
// Close active one last // Close active one last
if (activeEditor) { if (activeEditor) {
this.doCloseEditor(activeEditor, true); this.doCloseEditor(activeEditor);
} }
} }