Merge branch 'master' into editorIss

3 years ago · 772a063c46
parent ce9832ee05 73060b42bc
commit 772a063c46
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()