Theia API Documentation v1.71.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/terminal
browser/base/terminal-widget
TerminalWidgetOptions

Variable TerminalWidgetOptions`Const`

TerminalWidgetOptions: typeof TerminalWidgetOptions = ...

Terminal widget options.

Defined in packages/terminal/src/browser/base/terminal-widget.ts:255
Defined in packages/terminal/src/browser/base/terminal-widget.ts:256

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.71.0

Loading...