Theia API Documentation v1.65.0
    Preparing search index...
    interface TasksExt {
        $initLoadedTasks(executions: TaskExecutionDto[]): Promise<void>;
        $onDidEndTask(id: number): void;
        $onDidEndTaskProcess(exitCode: undefined | number, taskId: number): void;
        $onDidStartTask(execution: TaskExecutionDto, terminalId: number): void;
        $onDidStartTaskProcess(
            processId: undefined | number,
            execution: TaskExecutionDto,
        ): void;
        $provideTasks(handle: number): Promise<TaskDto[]>;
        $resolveTask(
            handle: number,
            task: TaskDto,
            token?: CancellationToken,
        ): Promise<TaskDto>;
    }
    Index

    Methods

    • Parameters

      Returns Promise<void>

    • Parameters

      • id: number

      Returns void

    • Parameters

      • exitCode: undefined | number
      • taskId: number

      Returns void

    • Parameters

      Returns void

    • Parameters

      Returns void

    • Parameters

      • handle: number

      Returns Promise<TaskDto[]>