Re-add task default API with fixes (#129397)

Part of #79188
This commit is contained in:
Alex Ross
2021-07-26 15:30:46 +02:00
committed by GitHub
parent a707e282ea
commit 3d5b13265d
11 changed files with 176 additions and 110 deletions

View File

@@ -82,6 +82,11 @@ export interface TaskHandleDTO {
workspaceFolder: UriComponents | string;
}
export interface TaskGroupDTO {
isDefault?: boolean;
_id: string;
}
export interface TaskDTO {
_id: string;
name?: string;
@@ -89,7 +94,7 @@ export interface TaskDTO {
definition: TaskDefinitionDTO;
isBackground?: boolean;
source: TaskSourceDTO;
group?: string;
group?: TaskGroupDTO;
detail?: string;
presentationOptions?: TaskPresentationOptionsDTO;
problemMatchers: string[];