@theia/plugin 1.36.0-next.39 → 1.36.0-next.41
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 +28 -0
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@theia/plugin",
|
|
3
|
-
"version": "1.36.0-next.
|
|
3
|
+
"version": "1.36.0-next.41+6cd42236d",
|
|
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": "6cd42236d8dab220851032bef9f1a6ecbf7f758b"
|
|
36
36
|
}
|
package/src/theia.d.ts
CHANGED
|
@@ -4628,6 +4628,12 @@ export module '@theia/plugin' {
|
|
|
4628
4628
|
*/
|
|
4629
4629
|
readonly visible: boolean;
|
|
4630
4630
|
|
|
4631
|
+
/**
|
|
4632
|
+
* The badge to display for this webview view.
|
|
4633
|
+
* To remove the badge, set to undefined.
|
|
4634
|
+
*/
|
|
4635
|
+
badge?: ViewBadge | undefined;
|
|
4636
|
+
|
|
4631
4637
|
/**
|
|
4632
4638
|
* Event fired when the visibility of the view changes.
|
|
4633
4639
|
*
|
|
@@ -6007,6 +6013,22 @@ export module '@theia/plugin' {
|
|
|
6007
6013
|
handleDrop?(target: T | undefined, dataTransfer: DataTransfer, token: CancellationToken): Thenable<void> | void;
|
|
6008
6014
|
}
|
|
6009
6015
|
|
|
6016
|
+
/**
|
|
6017
|
+
* A badge presenting a value for a view
|
|
6018
|
+
*/
|
|
6019
|
+
export interface ViewBadge {
|
|
6020
|
+
|
|
6021
|
+
/**
|
|
6022
|
+
* A label to present in tooltip for the badge.
|
|
6023
|
+
*/
|
|
6024
|
+
readonly tooltip: string;
|
|
6025
|
+
|
|
6026
|
+
/**
|
|
6027
|
+
* The value to present in the badge.
|
|
6028
|
+
*/
|
|
6029
|
+
readonly value: number;
|
|
6030
|
+
}
|
|
6031
|
+
|
|
6010
6032
|
/**
|
|
6011
6033
|
* Represents a Tree view
|
|
6012
6034
|
*/
|
|
@@ -6060,6 +6082,12 @@ export module '@theia/plugin' {
|
|
|
6060
6082
|
*/
|
|
6061
6083
|
description?: string;
|
|
6062
6084
|
|
|
6085
|
+
/**
|
|
6086
|
+
* The badge to display for this TreeView.
|
|
6087
|
+
* To remove the badge, set to undefined.
|
|
6088
|
+
*/
|
|
6089
|
+
badge: ViewBadge | undefined;
|
|
6090
|
+
|
|
6063
6091
|
/**
|
|
6064
6092
|
* Reveal an element. By default revealed element is selected.
|
|
6065
6093
|
*
|