Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext-headless
common/headless-plugin-protocol
TaskDto
Interface TaskDto
interface
TaskDto
{
detail
?:
string
;
executionId
?:
string
;
executionType
?:
"shell"
|
"process"
|
"customExecution"
;
group
?:
{
isDefault
:
boolean
;
kind
:
TaskGroupKind
}
;
label
:
string
;
presentation
?:
TaskPresentationOptionsDTO
;
problemMatcher
?:
any
;
runOptions
?:
RunOptionsDTO
;
scope
:
string
|
number
;
source
?:
string
;
type
:
string
;
[
key
:
string
]:
any
;
}
Hierarchy (
View Summary
)
TaskDto
ProcessTaskDto
Indexable
[
key
:
string
]:
any
Index
Properties
detail?
execution
Id?
execution
Type?
group?
label
presentation?
problem
Matcher?
run
Options?
scope
source?
type
Properties
Optional
detail
detail
?:
string
Optional
execution
Id
executionId
?:
string
Optional
execution
Type
executionType
?:
"shell"
|
"process"
|
"customExecution"
Optional
group
group
?:
{
isDefault
:
boolean
;
kind
:
TaskGroupKind
}
label
label
:
string
Optional
presentation
presentation
?:
TaskPresentationOptionsDTO
Optional
problem
Matcher
problemMatcher
?:
any
Optional
run
Options
runOptions
?:
RunOptionsDTO
scope
scope
:
string
|
number
Optional
source
source
?:
string
type
type
:
string
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
detail
execution
Id
execution
Type
group
label
presentation
problem
Matcher
run
Options
scope
source
type
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...