make sure we remove the current file from the previous session

pull/2253/head
yann300 3 years ago
parent db2f3b3140
commit d91cc0ee8d
  1. 3
      apps/remix-ide/src/app/files/fileManager.ts

@ -410,6 +410,9 @@ class FileManager extends Plugin {
workspaceExplorer: this._components.registry.get('fileproviders/workspace').api,
filesProviders: this._components.registry.get('fileproviders').api
}
this._deps.config.set('currentFile', '') // make sure we remove the current file from the previous session
this._deps.browserExplorer.event.on('fileChanged', (path) => { this.fileChangedEvent(path) })
this._deps.browserExplorer.event.on('fileRenamed', (oldName, newName, isFolder) => { this.fileRenamedEvent(oldName, newName, isFolder) })
this._deps.localhostExplorer.event.on('fileRenamed', (oldName, newName, isFolder) => { this.fileRenamedEvent(oldName, newName, isFolder) })

Loading…
Cancel
Save