Preparing search index...
The search index is not available

Theia TypeDoc
external-terminal
ExternalTerminalPreferences

Type alias ExternalTerminalPreferences

ExternalTerminalPreferences: PreferenceProxy<ExternalTerminalConfiguration>

Defined in packages/external-terminal/src/electron-browser/external-terminal-preference.ts:25
Defined in packages/external-terminal/src/electron-browser/external-terminal-preference.ts:26

Settings

Member Visibility

Protected
Private
Inherited

Theme

Loading...