Merge pull request #1592 from ethereum/fixconsole

rm console
pull/1594/head^2
bunsenstraat 3 years ago committed by GitHub
commit 05646a9de2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      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) => {

Loading…
Cancel
Save