|
|
@ -424,15 +424,14 @@ class FileManager extends Plugin { |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
fileRemovedEvent (path) { |
|
|
|
fileRemovedEvent (path) { |
|
|
|
// TODO: Only keep `this.emit` (issue#2210)
|
|
|
|
|
|
|
|
this.emit('fileRemoved', path) |
|
|
|
|
|
|
|
this.events.emit('fileRemoved', path) |
|
|
|
|
|
|
|
if (!this.openedFiles[path]) return |
|
|
|
|
|
|
|
if (path === this._deps.config.get('currentFile')) { |
|
|
|
if (path === this._deps.config.get('currentFile')) { |
|
|
|
this._deps.config.set('currentFile', '') |
|
|
|
this._deps.config.set('currentFile', '') |
|
|
|
} |
|
|
|
} |
|
|
|
this.editor.discard(path) |
|
|
|
this.editor.discard(path) |
|
|
|
delete this.openedFiles[path] |
|
|
|
delete this.openedFiles[path] |
|
|
|
|
|
|
|
// TODO: Only keep `this.emit` (issue#2210)
|
|
|
|
|
|
|
|
this.emit('fileRemoved', path) |
|
|
|
|
|
|
|
this.events.emit('fileRemoved', path) |
|
|
|
this.openFile() |
|
|
|
this.openFile() |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|