@theia/plugin 1.33.0-next.5 → 1.33.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 +11 -0
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@theia/plugin",
|
|
3
|
-
"version": "1.33.0-next.
|
|
3
|
+
"version": "1.33.0-next.8+16d9cf64f",
|
|
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": "16d9cf64fe2a5a032471c5c2f341bb9e3fb79748"
|
|
36
36
|
}
|
package/src/theia.d.ts
CHANGED
|
@@ -11513,6 +11513,17 @@ export module '@theia/plugin' {
|
|
|
11513
11513
|
/** The test all task group */
|
|
11514
11514
|
static Test: TaskGroup;
|
|
11515
11515
|
|
|
11516
|
+
/**
|
|
11517
|
+
* Whether the task that is part of this group is the default for the group.
|
|
11518
|
+
* This property cannot be set through API, and is controlled by a user's task configurations.
|
|
11519
|
+
*/
|
|
11520
|
+
readonly isDefault: boolean | undefined;
|
|
11521
|
+
|
|
11522
|
+
/**
|
|
11523
|
+
* The ID of the task group. Is one of TaskGroup.Clean.id, TaskGroup.Build.id, TaskGroup.Rebuild.id, or TaskGroup.Test.id.
|
|
11524
|
+
*/
|
|
11525
|
+
readonly id: string;
|
|
11526
|
+
|
|
11516
11527
|
private constructor(id: string, label: string);
|
|
11517
11528
|
}
|
|
11518
11529
|
|