@theia/plugin 1.24.0-next.50 → 1.24.0-next.51
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 -3
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@theia/plugin",
|
|
3
|
-
"version": "1.24.0-next.
|
|
3
|
+
"version": "1.24.0-next.51+acd6f574ce9",
|
|
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": "acd6f574ce9e620388376388ef32ca9d9845efca"
|
|
36
36
|
}
|
package/src/theia.d.ts
CHANGED
|
@@ -10460,6 +10460,13 @@ export module '@theia/plugin' {
|
|
|
10460
10460
|
*/
|
|
10461
10461
|
source?: string;
|
|
10462
10462
|
|
|
10463
|
+
/**
|
|
10464
|
+
* A human-readable string which is rendered less prominently on a separate line in places
|
|
10465
|
+
* where the task's name is displayed. Supports rendering of {@link ThemeIcon theme icons}
|
|
10466
|
+
* via the `$(<name>)`-syntax.
|
|
10467
|
+
*/
|
|
10468
|
+
detail?: string;
|
|
10469
|
+
|
|
10463
10470
|
/**
|
|
10464
10471
|
* The task group this tasks belongs to. See TaskGroup
|
|
10465
10472
|
* for a predefined set of available groups.
|
|
@@ -10478,9 +10485,10 @@ export module '@theia/plugin' {
|
|
|
10478
10485
|
problemMatchers?: string[];
|
|
10479
10486
|
}
|
|
10480
10487
|
|
|
10481
|
-
|
|
10482
|
-
|
|
10483
|
-
|
|
10488
|
+
/**
|
|
10489
|
+
* Task2 is kept for compatibility reasons.
|
|
10490
|
+
*/
|
|
10491
|
+
export class Task2 extends Task { }
|
|
10484
10492
|
|
|
10485
10493
|
export interface TaskProvider<T extends Task = Task> {
|
|
10486
10494
|
/**
|