Skip to content

B
baas-ide
Commit 365a42a6 authored by yann300's avatar yann300
Browse files
Options

fix renaming workspace

parent 8c5df6e3
Hide whitespace changes
Inline Side-by-side
Showing with 2 additions and 4 deletions
apps/remix-ide/src/app/panels/file-panel.js
View file @ 365a42a6
...@@ -218,10 +218,8 @@ module.exports = class Filepanel extends ViewPlugin { ...@@ -218,10 +218,8 @@ module.exports = class Filepanel extends ViewPlugin {
renameWorkspace () { renameWorkspace () {
modalDialog.prompt('Rename Workspace', 'Please choose a name for the workspace', this.currentWorkspace, async (value) => { modalDialog.prompt('Rename Workspace', 'Please choose a name for the workspace', this.currentWorkspace, async (value) => {
const workspacesPath = this._deps.fileProviders.workspace.workspacesPath const workspacesPath = this._deps.fileProviders.workspace.workspacesPath
await this._deps.fileManager.rename('browser/' + workspacesPath + '/' + this.currentWorkspace, 'browser/workspaces/' + value) await this._deps.fileManager.rename('browser/' + workspacesPath + '/' + this.currentWorkspace, 'browser/' + workspacesPath + '/' + value)
setTimeout(async () => { this.setWorkspace(value)
this.setWorkspace(value)
}, 2000)
}) })
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment