From 301964293041c72ce4b1033244d5c9ce7a5fd8bc Mon Sep 17 00:00:00 2001 From: yann300 Date: Tue, 23 Feb 2021 10:47:56 +0100 Subject: [PATCH] fix renaming workspace --- apps/remix-ide/src/app/panels/file-panel.js | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/apps/remix-ide/src/app/panels/file-panel.js b/apps/remix-ide/src/app/panels/file-panel.js index 46a550a3e5..c57b75efa2 100644 --- a/apps/remix-ide/src/app/panels/file-panel.js +++ b/apps/remix-ide/src/app/panels/file-panel.js @@ -218,10 +218,8 @@ module.exports = class Filepanel extends ViewPlugin { renameWorkspace () { modalDialog.prompt('Rename Workspace', 'Please choose a name for the workspace', this.currentWorkspace, async (value) => { const workspacesPath = this._deps.fileProviders.workspace.workspacesPath - await this._deps.fileManager.rename('browser/' + workspacesPath + '/' + this.currentWorkspace, 'browser/workspaces/' + value) - setTimeout(async () => { - this.setWorkspace(value) - }, 2000) + await this._deps.fileManager.rename('browser/' + workspacesPath + '/' + this.currentWorkspace, 'browser/' + workspacesPath + '/' + value) + this.setWorkspace(value) }) }