VSC: Attempt to prevent rare "TextEditor has been disposed" error (#100)

Note also - microsoft/vscode#83258 - microsoft/vscode#38239
stkb · Jan 17, 2022 · 6313111 · 6313111
1 parent 6570013
commit 6313111
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/vscode/src/Common.ts b/vscode/src/Common.ts
@@ -39,6 +39,8 @@ export function applyEdit (editor, edit) {
         })
         .then(didEdit => {
             if(!didEdit) return
+            // Try to prevent rare "TextEditor has been disposed" error
+            if(editor !== window.activeTextEditor) return
             if(wholeDocSelected) {
                 const wholeRange = getDocRange()
                 editor.selection = new Selection(wholeRange.start, wholeRange.end)