Theia API Documentation v1.67.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/terminal-manager
terminal-manager-types
TerminalManagerTreeTypes
Namespace TerminalManagerTreeTypes
Interfaces
GroupSplitPanel
PageNode
PageSplitPanel
SelectionChangedEvent
TerminalGroupNode
TerminalNode
Type Aliases
ContextMenuArgs
GroupId
PageId
TerminalKey
TerminalManagerTreeNode
TerminalManagerValidId
Variables
GROUP_NODE_MENU
PAGE_NODE_MENU
TERMINAL_NODE_MENU
Functions
generateTerminalKey
isGroupId
isGroupNode
isPageId
isPageNode
isTerminalKey
isTerminalManagerTreeNode
isTerminalNode
toContextMenuArgs
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Interfaces
Group
Split
Panel
Page
Node
Page
Split
Panel
Selection
Changed
Event
Terminal
Group
Node
Terminal
Node
Type Aliases
Context
Menu
Args
Group
Id
Page
Id
Terminal
Key
Terminal
Manager
Tree
Node
Terminal
Manager
Valid
Id
Variables
GROUP_
NODE_
MENU
PAGE_
NODE_
MENU
TERMINAL_
NODE_
MENU
Functions
generate
Terminal
Key
is
Group
Id
is
Group
Node
is
Page
Id
is
Page
Node
is
Terminal
Key
is
Terminal
Manager
Tree
Node
is
Terminal
Node
to
Context
Menu
Args
Eclipse Theia Website
GitHub
Theia API Documentation v1.67.0
Loading...