Get file provider from file

4 years ago · 4fbb0bd82b
parent 469c3fe343
commit 4fbb0bd82b
1 changed files with 3 additions and 4 deletions
--- a/apps/remix-ide/src/app/files/fileManager.js
+++ b/apps/remix-ide/src/app/files/fileManager.js
@ -612,12 +612,11 @@ class FileManager extends Plugin {
  }

  currentWorkspace () {
-    if (self._deps) {
-      const provider = self._deps.filesProviders.workspace
+    const file = this.currentFile() || ''
+    const provider = this.fileProviderOf(file)

    return provider.workspace
  }
 }
-}

 module.exports = FileManager