Add task detail property and adopt in npm extension

Fixes #69785
This commit is contained in:
Alex Ross
2019-10-22 15:56:21 +02:00
parent ea47d6b95b
commit 87998af618
13 changed files with 1139 additions and 12 deletions

View File

@@ -89,6 +89,7 @@ export interface TaskDTO {
isBackground?: boolean;
source: TaskSourceDTO;
group?: string;
detail?: string;
presentationOptions?: TaskPresentationOptionsDTO;
problemMatchers: string[];
hasDefinedMatchers: boolean;