From dfa8505774ced3c4696658d459676556764c431c Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Thu, 28 Jun 2018 15:39:36 +0200
Subject: [PATCH] switch to another file when file removed

---
 src/app/files/fileManager.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/app/files/fileManager.js b/src/app/files/fileManager.js
index 559cf5d7ce..80a0df3bc1 100644
--- a/src/app/files/fileManager.js
+++ b/src/app/files/fileManager.js
@@ -85,6 +85,7 @@ class FileManager {
     self._deps.editor.discardCurrentSession()
     delete this.tabbedFiles[path]
     this.refreshTabs()
+    this.switchFile()
   }
 
   // Display files that have already been selected