Theia API Documentation v1.67.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/terminal-manager
terminal-manager-types
TerminalManagerCommands
Namespace TerminalManagerCommands
Variables
MANAGER_ADD_TERMINAL_TO_GROUP
MANAGER_CLEAR_ALL
MANAGER_CLOSE_VIEW
MANAGER_DELETE_GROUP
MANAGER_DELETE_PAGE
MANAGER_DELETE_TERMINAL
MANAGER_MAXIMIZE_BOTTOM_PANEL_TOOLBAR
MANAGER_MINIMIZE_BOTTOM_PANEL_TOOLBAR
MANAGER_NEW_PAGE_BOTTOM_TOOLBAR
MANAGER_NEW_TERMINAL_GROUP
MANAGER_OPEN_VIEW
MANAGER_RENAME_TERMINAL
MANAGER_SHOW_TREE_TOOLBAR
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Variables
MANAGER_
ADD_
TERMINAL_
TO_
GROUP
MANAGER_
CLEAR_
ALL
MANAGER_
CLOSE_
VIEW
MANAGER_
DELETE_
GROUP
MANAGER_
DELETE_
PAGE
MANAGER_
DELETE_
TERMINAL
MANAGER_
MAXIMIZE_
BOTTOM_
PANEL_
TOOLBAR
MANAGER_
MINIMIZE_
BOTTOM_
PANEL_
TOOLBAR
MANAGER_
NEW_
PAGE_
BOTTOM_
TOOLBAR
MANAGER_
NEW_
TERMINAL_
GROUP
MANAGER_
OPEN_
VIEW
MANAGER_
RENAME_
TERMINAL
MANAGER_
SHOW_
TREE_
TOOLBAR
Eclipse Theia Website
GitHub
Theia API Documentation v1.67.0
Loading...