Theia API Documentation v1.72.1

Eclipse Theia Website GitHub

Preparing search index...

@theia/console
console-widget
ConsoleOptions

Variable ConsoleOptions`Const`

ConsoleOptions: typeof ConsoleOptions = ...

Defined in packages/console/src/browser/console-widget.ts:34
Defined in packages/console/src/browser/console-widget.ts:35

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.72.1

Loading...