mirror
/
remix-project
mirror of https://github.com/ethereum/remix-project.git
2
0
Fork 0
Code Issues Releases Wiki Activity

still create workspace

Browse Source
pull/1021/head
yann300 4 years ago
parent 4e242bc614
commit f79262848d
1 changed files with 2 additions and 2 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 4
      apps/remix-ide/src/migrateFileSystem.js

4
apps/remix-ide/src/migrateFileSystem.js
Unescape View File

@ -27,10 +27,10 @@ export async function migrateToWorkspace (fileManager, filePanel) {
const files = await browserProvider.copyFolderToJson('/') const files = await browserProvider.copyFolderToJson('/')
console.log(files) console.log(files)
const workspaceName = 'workspace_migrated_' + Date.now() const workspaceName = 'workspace_migrated_' + Date.now()
await filePanel.processCreateWorkspace(workspaceName)
filePanel.getWorkspaces() // refresh list
if (Object.keys(files).length > 0) { if (Object.keys(files).length > 0) {
const workspacePath = joinPath('browser', workspaceProvider.workspacesPath, workspaceName) const workspacePath = joinPath('browser', workspaceProvider.workspacesPath, workspaceName)
await filePanel.processCreateWorkspace(workspaceName)
filePanel.getWorkspaces() // refresh list
await populateWorkspace(workspacePath, files, browserProvider) await populateWorkspace(workspacePath, files, browserProvider)
} }
return workspaceName return workspaceName

Write Preview
Loading…
Cancel
Save