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

Do not render if the file is already switched to
3 years ago · bf96bb3c67
parent 9ee99de711 b737a6e177
commit bf96bb3c67
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()