fix discard file for editor

6 years ago · a55b93017f
parent 3605cdb404
commit a55b93017f
1 changed files with 2 additions and 3 deletions
--- a/src/app/editor/editor.js
+++ b/src/app/editor/editor.js
@ -225,9 +225,8 @@ function Editor (opts = {}, localRegistry) {
  }
  this.discard = function (path) {
-    if (currentSession !== path) {
+    if (sessions[path]) delete sessions[path]
-      delete sessions[path]
+    if (currentSession === path) currentSession = null
    }
  }
  this.resize = function (useWrapMode) {