From 61e70ae0d50bb4ba451366b9ec0b49203dc18a50 Mon Sep 17 00:00:00 2001 From: yann300 Date: Thu, 25 Nov 2021 11:44:02 +0100 Subject: [PATCH] Do not render if the file is already switched to --- apps/remix-ide/src/app/editor/editor.js | 1 + 1 file changed, 1 insertion(+) diff --git a/apps/remix-ide/src/app/editor/editor.js b/apps/remix-ide/src/app/editor/editor.js index 57a05a136f..f25b04d21f 100644 --- 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()