Add a rerun last task command (#62645)

Fixes #25310
This commit is contained in:
Alex Ross
2018-11-20 09:40:54 +01:00
committed by GitHub
parent 47b3238330
commit 6bb77146c4
15 changed files with 345 additions and 104 deletions

View File

@@ -4,6 +4,7 @@
*--------------------------------------------------------------------------------------------*/
import { UriComponents } from 'vs/base/common/uri';
import { RerunBehavior } from 'vs/workbench/parts/tasks/common/tasks';
export interface TaskDefinitionDTO {
type: string;
@@ -19,6 +20,10 @@ export interface TaskPresentationOptionsDTO {
clear?: boolean;
}
export interface RunOptionsDTO {
rerunBehavior?: RerunBehavior;
}
export interface ExecutionOptionsDTO {
cwd?: string;
env?: { [key: string]: string };
@@ -82,6 +87,7 @@ export interface TaskDTO {
presentationOptions: TaskPresentationOptionsDTO;
problemMatchers: string[];
hasDefinedMatchers: boolean;
runOptions: RunOptionsDTO;
}
export interface TaskExecutionDTO {