How to use the @theia/plugin-ext/lib/plugin/type-converters.fromViewColumn function in @theia/plugin-ext

To help you get started, we’ve selected a few @theia/plugin-ext examples, based on popular ways it is used in public projects.

Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.

github eclipse-theia / theia / packages / plugin-ext-vscode / src / browser / plugin-vscode-commands-contribution.ts View on Github external
if (!resource) {
                    throw new Error(`${VscodeCommands.OPEN.id} command requires at least URI argument.`);
                }
                if (!URI.isUri(resource)) {
                    throw new Error(`Invalid argument for ${VscodeCommands.OPEN.id} command with URI argument. Found ${resource}`);
                }

                let options: TextDocumentShowOptions | undefined;
                if (typeof columnOrOptions === 'number') {
                    options = {
                        viewColumn: fromViewColumn(columnOrOptions)
                    };
                } else if (columnOrOptions) {
                    options = {
                        ...columnOrOptions,
                        viewColumn: fromViewColumn(columnOrOptions.viewColumn)
                    };
                }
                const editorOptions = DocumentsMainImpl.toEditorOpenerOptions(this.shell, options);
                await open(this.openerService, new TheiaURI(resource), editorOptions);
            }
        });
github eclipse-theia / theia / packages / plugin-ext-vscode / src / browser / plugin-vscode-commands-contribution.ts View on Github external
execute: async (resource: URI, columnOrOptions?: ViewColumn | TextDocumentShowOptions) => {
                if (!resource) {
                    throw new Error(`${VscodeCommands.OPEN.id} command requires at least URI argument.`);
                }
                if (!URI.isUri(resource)) {
                    throw new Error(`Invalid argument for ${VscodeCommands.OPEN.id} command with URI argument. Found ${resource}`);
                }

                let options: TextDocumentShowOptions | undefined;
                if (typeof columnOrOptions === 'number') {
                    options = {
                        viewColumn: fromViewColumn(columnOrOptions)
                    };
                } else if (columnOrOptions) {
                    options = {
                        ...columnOrOptions,
                        viewColumn: fromViewColumn(columnOrOptions.viewColumn)
                    };
                }
                const editorOptions = DocumentsMainImpl.toEditorOpenerOptions(this.shell, options);
                await open(this.openerService, new TheiaURI(resource), editorOptions);
            }
        });