changed event for refresh

3 years ago · 33b4463923
parent 051104051c
commit 33b4463923
1 changed files with 2 additions and 2 deletions
--- a/apps/remix-ide/src/app/files/fileManager.js
+++ b/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')
  }

  /**