Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/terminal
common/terminal-preferences
TerminalPreferences

Type Alias TerminalPreferences

TerminalPreferences: PreferenceProxy<TerminalConfiguration>

Defined in packages/terminal/src/common/terminal-preferences.ts:573
Defined in packages/terminal/src/common/terminal-preferences.ts:574

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...