Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/terminal
common/shell-terminal-protocol
ShellTerminalServerProxy

Type Alias ShellTerminalServerProxy

ShellTerminalServerProxy: RpcProxy<IShellTerminalServer>

Defined in packages/terminal/src/common/shell-terminal-protocol.ts:63
Defined in packages/terminal/src/common/shell-terminal-protocol.ts:64

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...