Theia API Documentation v1.72.1

Eclipse Theia Website GitHub

Preparing search index...

@theia/terminal-manager
terminal-manager-preferences
TerminalGroupingMode

Type Alias TerminalGroupingMode

TerminalGroupingMode: "tabbed" | "tree"

Defined in packages/terminal-manager/src/browser/terminal-manager-preferences.ts:42

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.72.1

Loading...