Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/terminal
common/terminal-preferences
Module common/terminal-preferences
Interfaces
TerminalConfiguration
Type Aliases
ConfirmOnExitType
CursorStyle
CursorStyleVSCode
Profiles
TerminalPreferences
TerminalRendererType
Variables
DEFAULT_TERMINAL_RENDERER_TYPE
terminalAnsiColorMap
TerminalConfigSchema
TerminalPreferenceContribution
TerminalPreferences
Functions
bindTerminalPreferences
createTerminalPreferences
isTerminalRendererType
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Interfaces
Terminal
Configuration
Type Aliases
Confirm
On
Exit
Type
Cursor
Style
Cursor
Style
VS
Code
Profiles
Terminal
Preferences
Terminal
Renderer
Type
Variables
DEFAULT_
TERMINAL_
RENDERER_
TYPE
terminal
Ansi
Color
Map
Terminal
Config
Schema
Terminal
Preference
Contribution
Terminal
Preferences
Functions
bind
Terminal
Preferences
create
Terminal
Preferences
is
Terminal
Renderer
Type
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...