Variables
Const ContributedTerminalProfileStore
Const DEFAULT_TERMINAL_RENDERER_TYPE
DEFAULT_TERMINAL_RENDERER_TYPE: "canvas" = 'canvas'
Const ENVIRONMENT_VARIABLE_COLLECTIONS_KEY
ENVIRONMENT_VARIABLE_COLLECTIONS_KEY: "terminal.integrated.environmentVariableCollections" = 'terminal.integrated.environmentVariableCollections'
Const IShellTerminalServer
Const ShellProcessFactory
Const ShellProcessOptions
Const ShellTerminalServerProxy
Const TERMINAL_SEARCH_WIDGET_FACTORY_ID
TERMINAL_SEARCH_WIDGET_FACTORY_ID: "terminal-search" = 'terminal-search'
Const TERMINAL_WIDGET_FACTORY_ID
TERMINAL_WIDGET_FACTORY_ID: "terminal" = 'terminal'
Const TerminalConfigSchema
TerminalConfigSchema: PreferenceSchema = ...
Const TerminalContribution
Const TerminalLinkProvider
Const TerminalPreferenceContribution
Const TerminalPreferences
Const TerminalProfileService
Const TerminalSearchWidgetFactory
Const TerminalWidgetOptions
Const UserTerminalProfileStore
default
default: ContainerModule
default
default: ContainerModule
Const shellTerminalPath
shellTerminalPath: "/services/shell-terminal" = '/services/shell-terminal'
Const terminalAnsiColorMap
terminalAnsiColorMap: {} = ...
Type declaration
[key: string]: { defaults: ColorDefaults; index: number }
defaults: ColorDefaults
index: number
Const terminalPath
terminalPath: "/services/terminal" = '/services/terminal'
Const terminalsPath
terminalsPath: "/services/terminals" = '/services/terminals'
Service manipulating terminal widgets.