Implements #27399: Separate the task provider name from the task name in the task API

This commit is contained in:
Dirk Baeumer
2017-05-29 14:44:01 +02:00
parent 7c3f873bed
commit e58c2abb97
13 changed files with 88 additions and 50 deletions

View File

@@ -310,7 +310,11 @@ namespace Tasks {
}
let result: TaskSystem.Task = {
_id: uuidMap.getUUID(task.identifier),
_source: { kind: TaskSystem.TaskSourceKind.Extension, detail: extension.id },
_source: {
kind: TaskSystem.TaskSourceKind.Extension,
label: typeof task.source === 'string' ? task.source : extension.name,
detail: extension.id
},
name: task.name,
identifier: task.identifier,
group: types.TaskGroup.is(task.group) ? task.group : undefined,