@theia/plugin 1.28.0-next.2 → 1.28.0-next.26
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 +24 -0
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@theia/plugin",
|
|
3
|
-
"version": "1.28.0-next.
|
|
3
|
+
"version": "1.28.0-next.26+78b7f9558bc",
|
|
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": "78b7f9558bc35c2f0283e098191f1b24af2721e3"
|
|
36
36
|
}
|
package/src/theia.d.ts
CHANGED
|
@@ -2300,6 +2300,11 @@ export module '@theia/plugin' {
|
|
|
2300
2300
|
* Options for configuration behavior of the quick pick
|
|
2301
2301
|
*/
|
|
2302
2302
|
export interface QuickPickOptions {
|
|
2303
|
+
/**
|
|
2304
|
+
* An optional string that represents the title of the quick pick.
|
|
2305
|
+
*/
|
|
2306
|
+
title?: string;
|
|
2307
|
+
|
|
2303
2308
|
/**
|
|
2304
2309
|
* A flag to include the description when filtering
|
|
2305
2310
|
*/
|
|
@@ -2932,6 +2937,13 @@ export module '@theia/plugin' {
|
|
|
2932
2937
|
*/
|
|
2933
2938
|
env?: { [key: string]: string | null };
|
|
2934
2939
|
|
|
2940
|
+
/**
|
|
2941
|
+
* A message to write to the terminal on first launch. Note that this is not sent to the
|
|
2942
|
+
* process, but rather written directly to the terminal. This supports escape sequences such
|
|
2943
|
+
* as setting text style.
|
|
2944
|
+
*/
|
|
2945
|
+
message?: string;
|
|
2946
|
+
|
|
2935
2947
|
/**
|
|
2936
2948
|
* Terminal attributes. Can be useful to apply some implementation specific information.
|
|
2937
2949
|
*/
|
|
@@ -6882,6 +6894,13 @@ export module '@theia/plugin' {
|
|
|
6882
6894
|
*/
|
|
6883
6895
|
parameters: ParameterInformation[];
|
|
6884
6896
|
|
|
6897
|
+
/**
|
|
6898
|
+
* The index of the active parameter.
|
|
6899
|
+
*
|
|
6900
|
+
* If provided, this is used in place of SignatureHelp.activeParameter.
|
|
6901
|
+
*/
|
|
6902
|
+
activeParameter?: number;
|
|
6903
|
+
|
|
6885
6904
|
/**
|
|
6886
6905
|
* Creates a new signature information object.
|
|
6887
6906
|
*
|
|
@@ -9602,6 +9621,11 @@ export module '@theia/plugin' {
|
|
|
9602
9621
|
* A string to show as place holder in the input box to guide the user.
|
|
9603
9622
|
*/
|
|
9604
9623
|
placeholder: string;
|
|
9624
|
+
|
|
9625
|
+
/**
|
|
9626
|
+
* Controls whether the input box is visible (default is true).
|
|
9627
|
+
*/
|
|
9628
|
+
visible: boolean;
|
|
9605
9629
|
}
|
|
9606
9630
|
|
|
9607
9631
|
interface QuickDiffProvider {
|