changed event for refresh

pull/5370/head
filip mertens 4 years ago
parent dd906638c6
commit a9e2a88454
  1. 4
      apps/remix-ide/src/app/files/fileManager.js

@ -134,8 +134,8 @@ class FileManager extends Plugin {
*/
refresh () {
const provider = this.fileProviderOf('/')
// emit folderAdded so that File Explorer reloads the file tree
provider.event.emit('folderAdded', '/')
// emit rootFolderChanged so that File Explorer reloads the file tree
provider.event.emit('rootFolderChanged')
}
/**

Loading…
Cancel
Save