changed event for refresh

pull/1342/head
filip mertens 3 years ago committed by davidzagi93@gmail.com
parent 2dcd88c62a
commit a421b6172f
  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