Search
Preparing search index...
The search index is not available
Theia TypeDoc
Options
All
Public
Public/Protected
All
Inherited
Menu
Theia TypeDoc
plugin-ext
TerminalOptionsExt
Interface TerminalOptionsExt
Hierarchy
TerminalOptionsExt
Index
Properties
attributes
Properties
Optional
attributes
attributes
:
{}
Type declaration
[
key:
string
]:
string
Exports
plugin-
ext
Comments
Command
Arg
Comments
Context
Command
Arg
Comments
Edit
Command
Arg
Composite
Tree
View
Node
Connection
Closed
Error
Custom
Editor
Widget
Debug
Adapter
Executable
Debug
Adapter
Inline
Implementation
Debug
Adapter
Named
Pipe
Server
Debug
Adapter
Server
Decoration
Range
Behavior
Decoration
Render
Options
Document
Link
Known
Commands
Notification
Main
Object
Identifier
Objects
Transferrer
Parameter
Information
Plugin
Contributions
Plugin
Icon
Path
Plugin
Package
Plugin
Paths
Plugin
View
Registry
Plugin
View
Widget
Schemes
Scm
Command
Arg
Selection
Provider
Commands
Signature
Help
Signature
Information
Symbol
Kind
Symbol
Kind
Converter
Text
Document
Show
Options
Text
Editor
Selection
Change
Kind
Themable
Decoration
Attachment
Render
Options
Themable
Decoration
Render
Options
Theme
Icon
Timeline
Command
Arg
Tree
View
Node
Tree
View
Selection
Webview
External
Endpoint
Webview
Widget
Workspace
Text
Edit
Dto
Terminal
Options
Ext
attributes