Update fileManager.js

first discard the file, then call fileRemoved which causes the unselectCurrentFile to resave the file.
pull/5370/head
bunsenstraat 4 years ago committed by filip mertens
parent 47d56d0794
commit c15ae84f2a
  1. 7
      apps/remix-ide/src/app/files/fileManager.js

@ -424,15 +424,14 @@ class FileManager extends Plugin {
}
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')) {
this._deps.config.set('currentFile', '')
}
this.editor.discard(path)
delete this.openedFiles[path]
// TODO: Only keep `this.emit` (issue#2210)
this.emit('fileRemoved', path)
this.events.emit('fileRemoved', path)
this.openFile()
}

Loading…
Cancel
Save