Theia API Documentation v1.72.1

Eclipse Theia Website GitHub

Preparing search index...

@theia/terminal
browser/terminal-frontend-contribution
TerminalCommands
KILL_TERMINAL

Variable KILL_TERMINAL`Const`

KILL_TERMINAL: Command = ...

Defined in packages/terminal/src/browser/terminal-frontend-contribution.ts:157

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.72.1

Loading...