ensure editor has its state updated

3 years ago · 2c333e4bd7
parent 7ae92998ef
commit 2c333e4bd7
1 changed files with 5 additions and 0 deletions
--- a/apps/remix-ide/src/app/editor/editor.js
+++ b/apps/remix-ide/src/app/editor/editor.js
@ -144,6 +144,11 @@ class Editor extends Plugin {
      this.currentThemeType = theme.quality
      this.renderComponent()
    })
+    this.on('fileManager', 'fileClosed', (name) => {
+      if (name === this.currentFile) {
+        this.currentFile = null
+      }
+    })
    try {
      this.currentThemeType = (await this.call('theme', 'currentTheme')).quality
    } catch (e) {