@theia/plugin 1.30.0-next.17 → 1.30.0-next.18
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 +1 -1
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@theia/plugin",
|
|
3
|
-
"version": "1.30.0-next.
|
|
3
|
+
"version": "1.30.0-next.18+9142e6da3",
|
|
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": "9142e6da3fccc078a5a9b06469fa2fcba1f8bd6c"
|
|
36
36
|
}
|
package/src/theia.d.ts
CHANGED
|
@@ -5499,7 +5499,7 @@ export module '@theia/plugin' {
|
|
|
5499
5499
|
/**
|
|
5500
5500
|
* The tooltip text when you hover over this item.
|
|
5501
5501
|
*/
|
|
5502
|
-
tooltip?: string | undefined;
|
|
5502
|
+
tooltip?: string | MarkdownString | undefined;
|
|
5503
5503
|
|
|
5504
5504
|
/**
|
|
5505
5505
|
* The {@link Command command} which should be run when the tree item is selected.
|