Update fileManager.ts

11 months ago · b3bd37abdd
parent 84657ed084
commit b3bd37abdd
1 changed files with 2 additions and 2 deletions
--- a/apps/remix-ide/src/app/files/fileManager.ts
+++ b/apps/remix-ide/src/app/files/fileManager.ts
@ -152,9 +152,9 @@ class FileManager extends Plugin {
  refresh() {
    const provider = this.fileProviderOf('/')
    // emit rootFolderChanged so that File Explorer reloads the file tree
-    if(Registry.getInstance().get('platform').api.isDesktop()){
+    if (Registry.getInstance().get('platform').api.isDesktop()) {
      provider.event.emit('refresh')
-    }else{
+    } else {
      provider.event.emit('rootFolderChanged', provider.workspace || '/')
      this.emit('rootFolderChanged', provider.workspace || '/')
    }