From a766ae850494647ae34451c9bdc7ab77a325a03c Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Thu, 8 Feb 2018 12:36:27 +0100
Subject: [PATCH] update editor

---
 src/app/files/fileManager.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/app/files/fileManager.js b/src/app/files/fileManager.js
index 976bbda632..2569ebcf12 100644
--- a/src/app/files/fileManager.js
+++ b/src/app/files/fileManager.js
@@ -92,7 +92,7 @@ class FileManager {
     if (path === this.opt.config.get('currentFile')) {
       this.opt.config.set('currentFile', '')
     }
-    this.opt.editor.discard(path)
+    this.opt.editor.discardCurrentSession()
     delete this.tabbedFiles[path]
     this.refreshTabs()
   }
@@ -131,6 +131,7 @@ class FileManager {
           _switchFile(browserProvider.type + '/' + fileList[0])
         } else {
           self.event.trigger('currentFileChanged', [])
+          self.opt.editor.displayEmptyReadOnlySession()
         }
       })
     }