Theia API Documentation v1.69.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/terminal-manager
terminal-manager-preferences
TerminalManagerPreferences

Variable TerminalManagerPreferences`Const`

TerminalManagerPreferences: typeof TerminalManagerPreferences = ...

Defined in terminal-manager/src/browser/terminal-manager-preferences.ts:49
Defined in terminal-manager/src/browser/terminal-manager-preferences.ts:51

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.69.0

Loading...