Theia API Documentation v1.67.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/terminal-manager
terminal-manager-widget
TerminalManagerWidgetState
Namespace TerminalManagerWidgetState
Interfaces
BaseLayoutData
LayoutData
PageLayoutData
PanelRelativeSizes
TerminalGroupLayoutData
TerminalManagerLayoutData
TerminalWidgetLayoutData
Functions
isLayoutData
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Interfaces
Base
Layout
Data
Layout
Data
Page
Layout
Data
Panel
Relative
Sizes
Terminal
Group
Layout
Data
Terminal
Manager
Layout
Data
Terminal
Widget
Layout
Data
Functions
is
Layout
Data
Eclipse Theia Website
GitHub
Theia API Documentation v1.67.0
Loading...