Theia API Documentation v1.72.1

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.72.1

Loading...