Preparing search index...
The search index is not available

Theia TypeDoc
plugin-ext
TaskExecutionDto

Interface TaskExecutionDto

interface TaskExecutionDto {
id: number;
task: TaskDto;
}

Defined in packages/plugin-ext/src/common/plugin-api-rpc.ts:1644

Index

Properties

Properties

id

id: number

Defined in packages/plugin-ext/src/common/plugin-api-rpc.ts:1645

task

Defined in packages/plugin-ext/src/common/plugin-api-rpc.ts:1646

Settings

Member Visibility

Protected
Private
Inherited

Theme

On This Page

Loading...