Merge branch 'master' into pluginversion

Author: bunsenstraat

apps/remix-ide/src/app/files/fileManager.js

@@ -726,9 +726,7 @@ class FileManager extends Plugin {
 
   syncEditor (path) {
     var currentFile = this._deps.config.get('currentFile')
-    console.log(currentFile, path)
     if (path !== currentFile) return
-
     var provider = this.fileProviderOf(currentFile)
     if (provider) {
       provider.get(currentFile, (error, content) => {