Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/task
browser/task-configuration-manager
TasksChange

Interface TasksChange

interface TasksChange {
scope: TaskConfigurationScope;
type: FileChangeType;
}

Defined in packages/task/src/browser/task-configuration-manager.ts:37

Index

Properties

Properties

scope

scope: TaskConfigurationScope

Defined in packages/task/src/browser/task-configuration-manager.ts:38

type

type: FileChangeType

Defined in packages/task/src/browser/task-configuration-manager.ts:39

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Properties

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...