Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/plugin-ext
plugin/plugin-manager
MinimalTerminalServiceExt

Type Alias MinimalTerminalServiceExt

MinimalTerminalServiceExt: Pick<
    TerminalServiceExt,
    | "getEnvironmentVariableCollection"
    | "$initEnvironmentVariableCollections"
    | "$setShell",
>

Defined in packages/plugin-ext/src/plugin/plugin-manager.ts:84
Defined in packages/plugin-ext/src/plugin/plugin-manager.ts:85

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...