Search
Preparing search index...
The search index is not available
Theia TypeDoc
Options
All
Public
Public/Protected
All
Inherited
Menu
Theia TypeDoc
plugin-ext
TaskPresentationOptionsDTO
Interface TaskPresentationOptionsDTO
Hierarchy
TaskPresentationOptionsDTO
Index
Properties
echo
focus
panel
reveal
show
Reuse
Message
Properties
Optional
echo
echo
:
boolean
Optional
focus
focus
:
boolean
Optional
panel
panel
:
number
Optional
reveal
reveal
:
number
Optional
show
Reuse
Message
show
Reuse
Message
:
boolean
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
Task
Presentation
OptionsDTO
echo
focus
panel
reveal
show
Reuse
Message