Preparing search index...
The search index is not available

Theia TypeDoc
terminal
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
Private
Inherited

Theme

Loading...