Merge branch 'master' into editorIss

3 years ago · 138645aebf
parent 594c048947 bf96bb3c67
commit 138645aebf
1 changed files with 1 additions and 0 deletions
--- a/apps/remix-ide/src/app/editor/editor.js
+++ b/apps/remix-ide/src/app/editor/editor.js
@ -155,6 +155,7 @@ class Editor extends Plugin {
  }

  _switchSession (path) {
+    if (path === this.currentFile) return
    this.triggerEvent('sessionSwitched', [])
    this.currentFile = path
    this.renderComponent()