Theia API Documentation v1.71.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/external-terminal
electron-browser/external-terminal-preference
ExternalTerminalPreferences

Type Alias ExternalTerminalPreferences

ExternalTerminalPreferences: PreferenceProxy<ExternalTerminalConfiguration>

Defined in electron-browser/external-terminal-preference.ts:23
Defined in electron-browser/external-terminal-preference.ts:24

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.71.0

Loading...