@theia/plugin 1.25.0-next.4 → 1.25.0-next.5
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 +5 -0
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@theia/plugin",
|
|
3
|
-
"version": "1.25.0-next.
|
|
3
|
+
"version": "1.25.0-next.5+b8fd6663938",
|
|
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": "b8fd666393866d1bd907a8035435aa74ecb7d506"
|
|
36
36
|
}
|
package/src/theia.d.ts
CHANGED
|
@@ -2191,6 +2191,11 @@ export module '@theia/plugin' {
|
|
|
2191
2191
|
*/
|
|
2192
2192
|
matchOnDetail: boolean;
|
|
2193
2193
|
|
|
2194
|
+
/*
|
|
2195
|
+
* An optional flag to maintain the scroll position of the quick pick when the quick pick items are updated. Defaults to false.
|
|
2196
|
+
*/
|
|
2197
|
+
keepScrollPosition?: boolean;
|
|
2198
|
+
|
|
2194
2199
|
/**
|
|
2195
2200
|
* Active items. This can be read and updated by the extension.
|
|
2196
2201
|
*/
|