Theia API Documentation v1.72.1
Eclipse Theia Website
GitHub
Preparing search index...
@theia/task
browser/task-terminal-widget-manager
TaskTerminalWidgetOpenerOptions
Namespace TaskTerminalWidgetOpenerOptions
Functions
echoExecutedCommand
isDedicatedTerminal
isNewTerminal
isSharedTerminal
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Functions
echo
Executed
Command
is
Dedicated
Terminal
is
New
Terminal
is
Shared
Terminal
Eclipse Theia Website
GitHub
Theia API Documentation v1.72.1
Loading...