@theia/plugin 1.28.0-next.2 → 1.28.0-next.23

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.
Files changed (2) hide show
  1. package/package.json +2 -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.2+c82d9c5b4da",
3
+ "version": "1.28.0-next.23+0c988ac56d7",
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": "c82d9c5b4dad0e5c18506f349f16c8da55a45522"
35
+ "gitHead": "0c988ac56d72c527e02fa2c0fd4054288ab05279"
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 {