@theia/plugin 1.29.0-next.6 → 1.29.0-next.7
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 +7 -0
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@theia/plugin",
|
|
3
|
-
"version": "1.29.0-next.
|
|
3
|
+
"version": "1.29.0-next.7+5aeef6c0c68",
|
|
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": "5aeef6c0c683b4e91713ab736957e6655b486adc"
|
|
36
36
|
}
|
package/src/theia.d.ts
CHANGED
|
@@ -3469,6 +3469,13 @@ export module '@theia/plugin' {
|
|
|
3469
3469
|
*/
|
|
3470
3470
|
export interface Memento {
|
|
3471
3471
|
|
|
3472
|
+
/**
|
|
3473
|
+
* Returns the stored keys.
|
|
3474
|
+
*
|
|
3475
|
+
* @return The stored keys.
|
|
3476
|
+
*/
|
|
3477
|
+
keys(): readonly string[];
|
|
3478
|
+
|
|
3472
3479
|
/**
|
|
3473
3480
|
* Return a value.
|
|
3474
3481
|
*
|