|
|
|
@ -327,9 +327,8 @@ export class WorkSpacePlugin extends PluginClient { |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
async switchfile (dir: string) { |
|
|
|
|
|
|
|
|
|
try { |
|
|
|
|
const files = await this.call('fileManager', 'switchFile', dir) |
|
|
|
|
await this.call('fileManager', 'switchFile', dir) |
|
|
|
|
} catch (e) { |
|
|
|
|
this.setFeedback(e.message) |
|
|
|
|
} |
|
|
|
@ -380,7 +379,7 @@ export class WorkSpacePlugin extends PluginClient { |
|
|
|
|
|
|
|
|
|
async createWorkSpace (name: string) { |
|
|
|
|
try { |
|
|
|
|
const s = await this.call('filePanel', 'createWorkspace', name) |
|
|
|
|
await this.call('filePanel', 'createWorkspace', name) |
|
|
|
|
} catch (e) { |
|
|
|
|
this.setFeedback(e.message) |
|
|
|
|
} |
|
|
|
|