|
|
@ -103,7 +103,6 @@ class FileManager extends Plugin { |
|
|
|
closeFile (name) { |
|
|
|
closeFile (name) { |
|
|
|
delete this.openedFiles[name] |
|
|
|
delete this.openedFiles[name] |
|
|
|
if (!Object.keys(this.openedFiles).length) { |
|
|
|
if (!Object.keys(this.openedFiles).length) { |
|
|
|
this.editor.displayEmptyReadOnlySession() |
|
|
|
|
|
|
|
this._deps.config.set('currentFile', '') |
|
|
|
this._deps.config.set('currentFile', '') |
|
|
|
this.events.emit('noFileSelected') |
|
|
|
this.events.emit('noFileSelected') |
|
|
|
} |
|
|
|
} |
|
|
|