Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/terminal
common/shell-type
ShellType

Type Alias ShellType

ShellType: GeneralShellType | WindowsShellType

Defined in packages/terminal/src/common/shell-type.ts:46

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...