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

Theia TypeDoc
terminal
terminal
KILL_TERMINAL

Variable KILL_TERMINAL`Const`

KILL_TERMINAL: Command = ...

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

Settings

Member Visibility

Protected
Private
Inherited

Theme

Loading...