Merge pull request #1797 from ethereum/yann300-patch-36

Do not render if the file is already switched to
3 years ago · 73060b42bc
parent 790676a986 45621184cf
commit 73060b42bc
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()