Theia API Documentation v1.67.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/terminal-manager
terminal-manager-preferences
Module terminal-manager-preferences
Interfaces
TerminalManagerConfiguration
Type Aliases
TerminalGroupingMode
TerminalManagerPreferences
TerminalManagerTreeViewLocation
Variables
TerminalManagerPreferenceContribution
TerminalManagerPreferences
TerminalManagerPreferenceSchema
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Interfaces
Terminal
Manager
Configuration
Type Aliases
Terminal
Grouping
Mode
Terminal
Manager
Preferences
Terminal
Manager
Tree
View
Location
Variables
Terminal
Manager
Preference
Contribution
Terminal
Manager
Preferences
Terminal
Manager
Preference
Schema
Eclipse Theia Website
GitHub
Theia API Documentation v1.67.0
Loading...