From 9f8385fd0fa7418907d3979cd786232acd526ba7 Mon Sep 17 00:00:00 2001 From: yann300 Date: Tue, 23 Feb 2021 11:59:26 +0100 Subject: [PATCH] fix linting --- apps/remix-ide/src/app/panels/file-panel.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/apps/remix-ide/src/app/panels/file-panel.js b/apps/remix-ide/src/app/panels/file-panel.js index 64521b9a0d..6d141fbdff 100644 --- a/apps/remix-ide/src/app/panels/file-panel.js +++ b/apps/remix-ide/src/app/panels/file-panel.js @@ -63,7 +63,7 @@ module.exports = class Filepanel extends ViewPlugin { this.hideRemixdExplorer = true this.remixdExplorer = { hide: () => { - if (this.currentWorkspace === this.LOCALHOST) this.setWorkspace(this.NO_WORKSPACE) + if (this.currentWorkspace === this.LOCALHOST) this.setWorkspace(this.NO_WORKSPACE) this._deps.fileManager.setMode('browser') this.hideRemixdExplorer = true this.renderComponent()