readd switchfile

7 years ago · c86dadc8e7
parent bedab6c68f
commit c86dadc8e7
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 -----------------