@theia/plugin 1.32.0-next.32 → 1.32.0-next.43
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 +25 -3
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@theia/plugin",
|
|
3
|
-
"version": "1.32.0-next.
|
|
3
|
+
"version": "1.32.0-next.43+909f4106e",
|
|
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": "909f4106e8c15c5c2c320401da4f48f8c6080734"
|
|
36
36
|
}
|
package/src/theia.d.ts
CHANGED
|
@@ -2961,9 +2961,10 @@ export module '@theia/plugin' {
|
|
|
2961
2961
|
shellPath?: string;
|
|
2962
2962
|
|
|
2963
2963
|
/**
|
|
2964
|
-
*
|
|
2964
|
+
* Args for the custom shell executable. A string can be used on Windows only which allows
|
|
2965
|
+
* specifying shell args in [command-line format](https://msdn.microsoft.com/en-au/08dfcab2-eb6e-49a4-80eb-87d4076c98c6).
|
|
2965
2966
|
*/
|
|
2966
|
-
shellArgs?: string[];
|
|
2967
|
+
shellArgs?: string[] | string;
|
|
2967
2968
|
|
|
2968
2969
|
/**
|
|
2969
2970
|
* Current working directory.
|
|
@@ -5024,7 +5025,7 @@ export module '@theia/plugin' {
|
|
|
5024
5025
|
* @param shellPath - path to the executable shell. For example "/bin/bash", "bash", "sh".
|
|
5025
5026
|
* @param shellArgs - arguments to configure executable shell. For example ["-l"] - run shell without login.
|
|
5026
5027
|
*/
|
|
5027
|
-
export function createTerminal(name?: string, shellPath?: string, shellArgs?: string[]): Terminal;
|
|
5028
|
+
export function createTerminal(name?: string, shellPath?: string, shellArgs?: string[] | string): Terminal;
|
|
5028
5029
|
|
|
5029
5030
|
/**
|
|
5030
5031
|
* Event which fires when terminal did closed. Event value contains closed terminal definition.
|
|
@@ -9522,6 +9523,27 @@ export module '@theia/plugin' {
|
|
|
9522
9523
|
provideDocumentRangeSemanticTokens(document: TextDocument, range: Range, token: CancellationToken): ProviderResult<SemanticTokens>;
|
|
9523
9524
|
}
|
|
9524
9525
|
|
|
9526
|
+
export namespace extensions {
|
|
9527
|
+
/**
|
|
9528
|
+
* Get an extension by its full identifier in the form of: `publisher.name`.
|
|
9529
|
+
*
|
|
9530
|
+
* @param extensionId An extension identifier.
|
|
9531
|
+
* @return An extension or `undefined`.
|
|
9532
|
+
*/
|
|
9533
|
+
export function getExtension<T = any>(extensionId: string): Extension<T> | undefined;
|
|
9534
|
+
|
|
9535
|
+
/**
|
|
9536
|
+
* All extensions currently known to the system.
|
|
9537
|
+
*/
|
|
9538
|
+
export const all: readonly Extension<any>[];
|
|
9539
|
+
|
|
9540
|
+
/**
|
|
9541
|
+
* An event which fires when `extensions.all` changes. This can happen when extensions are
|
|
9542
|
+
* installed, uninstalled, enabled or disabled.
|
|
9543
|
+
*/
|
|
9544
|
+
export const onDidChange: Event<void>;
|
|
9545
|
+
}
|
|
9546
|
+
|
|
9525
9547
|
export namespace languages {
|
|
9526
9548
|
/**
|
|
9527
9549
|
* Return the identifiers of all known languages.
|