@theia/plugin 1.28.0-next.43 → 1.28.0-next.45
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 +37 -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.45+cf1b71e1aa3",
|
|
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": "cf1b71e1aa3d01577f3da851fcdee3cb60c57a06"
|
|
36
36
|
}
|
package/src/theia.d.ts
CHANGED
|
@@ -6533,6 +6533,14 @@ export module '@theia/plugin' {
|
|
|
6533
6533
|
*/
|
|
6534
6534
|
export const appRoot: string;
|
|
6535
6535
|
|
|
6536
|
+
/**
|
|
6537
|
+
* The hosted location of the application
|
|
6538
|
+
* On desktop this is 'desktop'
|
|
6539
|
+
* In the web this is the specified embedder i.e. 'github.dev', 'codespaces', or 'web' if the embedder
|
|
6540
|
+
* does not provide that information
|
|
6541
|
+
*/
|
|
6542
|
+
export const appHost: string;
|
|
6543
|
+
|
|
6536
6544
|
/**
|
|
6537
6545
|
* The custom uri scheme the editor registers to in the operating system.
|
|
6538
6546
|
*/
|
|
@@ -6543,6 +6551,35 @@ export module '@theia/plugin' {
|
|
|
6543
6551
|
*/
|
|
6544
6552
|
export const language: string;
|
|
6545
6553
|
|
|
6554
|
+
/**
|
|
6555
|
+
* Indicates that this is a fresh install of the application.
|
|
6556
|
+
* `true` if within the first day of installation otherwise `false`.
|
|
6557
|
+
*/
|
|
6558
|
+
export const isNewAppInstall: boolean;
|
|
6559
|
+
|
|
6560
|
+
/**
|
|
6561
|
+
* Indicates whether the users has telemetry enabled.
|
|
6562
|
+
* Can be observed to determine if the extension should send telemetry.
|
|
6563
|
+
*/
|
|
6564
|
+
export const isTelemetryEnabled: boolean;
|
|
6565
|
+
|
|
6566
|
+
/**
|
|
6567
|
+
* An {@link Event} which fires when the user enabled or disables telemetry.
|
|
6568
|
+
* `true` if the user has enabled telemetry or `false` if the user has disabled telemetry.
|
|
6569
|
+
*/
|
|
6570
|
+
export const onDidChangeTelemetryEnabled: Event<boolean>;
|
|
6571
|
+
|
|
6572
|
+
/**
|
|
6573
|
+
* The name of a remote. Defined by extensions, popular samples are `wsl` for the Windows
|
|
6574
|
+
* Subsystem for Linux or `ssh-remote` for remotes using a secure shell.
|
|
6575
|
+
*
|
|
6576
|
+
* *Note* that the value is `undefined` when there is no remote extension host but that the
|
|
6577
|
+
* value is defined in all extension hosts (local and remote) in case a remote extension host
|
|
6578
|
+
* exists. Use {@link Extension.extensionKind} to know if
|
|
6579
|
+
* a specific extension runs remote or not.
|
|
6580
|
+
*/
|
|
6581
|
+
export const remoteName: string | undefined;
|
|
6582
|
+
|
|
6546
6583
|
/**
|
|
6547
6584
|
* The detected default shell for the extension host.
|
|
6548
6585
|
*/
|