Support for VSCode Command workbench.action.revertAndCloseActiveEditor

- Force close of editor in case document.revert fails Signed-off-by: Ignacio Moreno <ignacio@genuitec.com>
eclipse-theia · Apr 30, 2020 · d2cbc4e · d2cbc4e
1 parent 0649867
commit d2cbc4e
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/packages/plugin-ext-vscode/src/browser/plugin-vscode-commands-contribution.ts b/packages/plugin-ext-vscode/src/browser/plugin-vscode-commands-contribution.ts
@@ -337,8 +337,12 @@ export class PluginVscodeCommandsContribution implements CommandContribution {
                 if (editor) {
                     const monacoEditor = MonacoEditor.getCurrent(this.editorManager);
                     if (monacoEditor) {
-                        await monacoEditor.document.revert();
-                        editor.close();
+                        try {
+                            await monacoEditor.document.revert();
+                            editor.close();
+                        } catch (error) {
+                            await this.shell.closeWidget(editor.id, { save: false });
+                        }
                     }
                 }
             }