switch to another file when file removed

7 years ago · dfa8505774
parent 234ce393f4
commit dfa8505774
1 changed files with 1 additions and 0 deletions
--- 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