@theia/plugin 1.32.0-next.3 → 1.32.0-next.8
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/package.json +2 -2
- package/src/theia.d.ts +15 -0
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@theia/plugin",
|
|
3
|
-
"version": "1.32.0-next.
|
|
3
|
+
"version": "1.32.0-next.8+d109bc9ae",
|
|
4
4
|
"description": "Theia - Plugin API",
|
|
5
5
|
"types": "./src/theia.d.ts",
|
|
6
6
|
"publishConfig": {
|
|
@@ -32,5 +32,5 @@
|
|
|
32
32
|
"nyc": {
|
|
33
33
|
"extends": "../../configs/nyc.json"
|
|
34
34
|
},
|
|
35
|
-
"gitHead": "
|
|
35
|
+
"gitHead": "d109bc9ae3e00c22902fe1e92d6d2882970e1129"
|
|
36
36
|
}
|
package/src/theia.d.ts
CHANGED
|
@@ -11532,6 +11532,16 @@ export module '@theia/plugin' {
|
|
|
11532
11532
|
clear?: boolean;
|
|
11533
11533
|
}
|
|
11534
11534
|
|
|
11535
|
+
/**
|
|
11536
|
+
* Run options for a task.
|
|
11537
|
+
*/
|
|
11538
|
+
export interface RunOptions {
|
|
11539
|
+
/**
|
|
11540
|
+
* Controls whether task variables are re-evaluated on rerun.
|
|
11541
|
+
*/
|
|
11542
|
+
reevaluateOnRerun?: boolean;
|
|
11543
|
+
}
|
|
11544
|
+
|
|
11535
11545
|
export class Task {
|
|
11536
11546
|
|
|
11537
11547
|
/**
|
|
@@ -11618,6 +11628,11 @@ export module '@theia/plugin' {
|
|
|
11618
11628
|
* array.
|
|
11619
11629
|
*/
|
|
11620
11630
|
problemMatchers?: string[];
|
|
11631
|
+
|
|
11632
|
+
/**
|
|
11633
|
+
* Run options for the task
|
|
11634
|
+
*/
|
|
11635
|
+
runOptions: RunOptions;
|
|
11621
11636
|
}
|
|
11622
11637
|
|
|
11623
11638
|
/**
|