How to change workspace in plugin

yuzai · 22 October 2020 09:11

I want to create a new folder with a git repo.
I clone the repo, and then I want theia workspace change to this folder.
how can I do this? what api I can use

vince-fugnitto · 22 October 2020 12:08

@yuzai from a vscode extension you can use the builtin command to open a folder:

yuzai · 23 October 2020 11:19

thank you first.
but I use theia-plugin already, do I have api in theia plugin?

vince-fugnitto · 23 October 2020 12:20

@yuzai if you must use a theia-plugin you can simply execute existing registered commands which are at your disposal:

Any contributed command are available to any plugin, command can be invoked by executeCommand function.

I do not believe there is there is an existing command at the moment provided by the framework to open a folder directly, only a command to trigger the selection of a folder through the file-dialog:

github.com

eclipse-theia/theia/blob/9d4b9e49bd6c52b1ac0e297fc63ade39e18df4d6/packages/workspace/src/browser/workspace-commands.ts#L64-L67


export const OPEN_FOLDER: Command & { dialogLabel: string } = {
    id: 'workspace:openFolder',
    dialogLabel: 'Open Folder' // No `label`. Otherwise, it shows up in the `Command Palette`.
};

As you can see, the plugin system implements the vscode command specifically so it can open a passed URI as a workspace. You can probably attempt to do the same thing, or through your plugin implement the feature to open a workspace using existing commands:

github.com

eclipse-theia/theia/blob/9d4b9e49bd6c52b1ac0e297fc63ade39e18df4d6/packages/plugin-ext-vscode/src/browser/plugin-vscode-commands-contribution.ts#L138-L155


commands.registerCommand(VscodeCommands.OPEN_FOLDER, {
    isVisible: () => false,
    execute: async (resource?: URI, arg: boolean | IOpenFolderAPICommandOptions = {}) => {
        if (!resource) {
            return commands.executeCommand(WorkspaceCommands.OPEN_WORKSPACE.id);
        }
        if (!URI.isUri(resource)) {
            throw new Error(`Invalid argument for ${VscodeCommands.OPEN_FOLDER.id} command with URI argument. Found ${resource}`);
        }
        let options: WorkspaceInput | undefined;
        if (typeof arg === 'boolean') {
            options = { preserveWindow: !arg };
        } else {
            options = { preserveWindow: !arg.forceNewWindow };
        }
        this.workspaceService.open(new TheiaURI(resource), options);
    }
});

yuzai · 26 October 2020 08:58

thanks very much.
I execute the theia.window.getCommands, and then I found that vscode.openFolder command is in there.
so I just use this command in theia plugin, it worked.
theia.commands.executeCommand('vscode.openFolder', uri) .
thank you again.