readd switchfile

7 years ago · 3c2332200c
parent c783b15357
commit 3c2332200c
1 changed files with 2 additions and 0 deletions
--- a/src/app.js
+++ b/src/app.js
@ -519,6 +519,8 @@ Please make a backup of your contracts and start using http://remix.ethereum.org
    filesProviders['browser'].get(previouslyOpenedFile, (error, content) => {
      if (!error && content) fileManager.switchFile(previouslyOpenedFile)
    })
+  } else {
+    fileManager.switchFile()
  }

  // ----------------- Renderer -----------------