@theia/plugin-dev 1.45.1 → 1.46.0-next.72
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/README.md +31 -31
- package/lib/browser/hosted-plugin-controller.d.ts +74 -74
- package/lib/browser/hosted-plugin-controller.js +352 -352
- package/lib/browser/hosted-plugin-frontend-contribution.d.ts +6 -6
- package/lib/browser/hosted-plugin-frontend-contribution.js +56 -56
- package/lib/browser/hosted-plugin-informer.d.ts +25 -25
- package/lib/browser/hosted-plugin-informer.js +102 -102
- package/lib/browser/hosted-plugin-log-viewer.d.ts +14 -14
- package/lib/browser/hosted-plugin-log-viewer.js +69 -69
- package/lib/browser/hosted-plugin-manager-client.d.ts +80 -80
- package/lib/browser/hosted-plugin-manager-client.js +410 -410
- package/lib/browser/hosted-plugin-preferences.d.ts +13 -13
- package/lib/browser/hosted-plugin-preferences.js +60 -60
- package/lib/browser/plugin-dev-frontend-module.d.ts +3 -3
- package/lib/browser/plugin-dev-frontend-module.js +42 -42
- package/lib/common/index.d.ts +2 -2
- package/lib/common/index.js +31 -31
- package/lib/common/plugin-dev-protocol.d.ts +24 -24
- package/lib/common/plugin-dev-protocol.js +20 -20
- package/lib/node/hosted-instance-manager.d.ts +104 -104
- package/lib/node/hosted-instance-manager.js +320 -320
- package/lib/node/hosted-instance-manager.js.map +1 -1
- package/lib/node/hosted-plugin-reader.d.ts +11 -11
- package/lib/node/hosted-plugin-reader.js +68 -68
- package/lib/node/hosted-plugin-reader.js.map +1 -1
- package/lib/node/hosted-plugin-uri-postprocessor.d.ts +6 -6
- package/lib/node/hosted-plugin-uri-postprocessor.js +27 -27
- package/lib/node/hosted-plugins-manager.d.ts +41 -41
- package/lib/node/hosted-plugins-manager.js +119 -119
- package/lib/node/plugin-dev-backend-module.d.ts +4 -4
- package/lib/node/plugin-dev-backend-module.js +53 -53
- package/lib/node/plugin-dev-service.d.ts +25 -25
- package/lib/node/plugin-dev-service.js +108 -108
- package/lib/node-electron/plugin-dev-electron-backend-module.d.ts +3 -3
- package/lib/node-electron/plugin-dev-electron-backend-module.js +28 -28
- package/lib/package.spec.js +25 -25
- package/package.json +9 -9
- package/src/browser/hosted-plugin-controller.ts +356 -356
- package/src/browser/hosted-plugin-frontend-contribution.ts +45 -45
- package/src/browser/hosted-plugin-informer.ts +93 -93
- package/src/browser/hosted-plugin-log-viewer.ts +52 -52
- package/src/browser/hosted-plugin-manager-client.ts +430 -430
- package/src/browser/hosted-plugin-preferences.ts +71 -71
- package/src/browser/plugin-dev-frontend-module.ts +45 -45
- package/src/common/index.ts +21 -21
- package/src/common/plugin-dev-protocol.ts +45 -45
- package/src/node/hosted-instance-manager.ts +382 -382
- package/src/node/hosted-plugin-reader.ts +58 -58
- package/src/node/hosted-plugin-uri-postprocessor.ts +32 -32
- package/src/node/hosted-plugins-manager.ts +146 -146
- package/src/node/plugin-dev-backend-module.ts +54 -54
- package/src/node/plugin-dev-service.ts +107 -107
- package/src/node-electron/plugin-dev-electron-backend-module.ts +29 -29
- package/src/package.spec.ts +28 -28
package/README.md
CHANGED
|
@@ -1,31 +1,31 @@
|
|
|
1
|
-
<div align='center'>
|
|
2
|
-
|
|
3
|
-
<br />
|
|
4
|
-
|
|
5
|
-
<img src='https://raw.githubusercontent.com/eclipse-theia/theia/master/logo/theia.svg?sanitize=true' alt='theia-ext-logo' width='100px' />
|
|
6
|
-
|
|
7
|
-
<h2>ECLIPSE THEIA - PLUGIN-DEVELOPMENT EXTENSION</h2>
|
|
8
|
-
|
|
9
|
-
<hr />
|
|
10
|
-
|
|
11
|
-
</div>
|
|
12
|
-
|
|
13
|
-
## Description
|
|
14
|
-
|
|
15
|
-
The `@theia/plugin-dev` extension contributes functionality for the `plugin host`.
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
## Additional Information
|
|
19
|
-
|
|
20
|
-
- [API documentation for `@theia/plugin-dev`](https://eclipse-theia.github.io/theia/docs/next/modules/plugin_dev.html)
|
|
21
|
-
- [Theia - GitHub](https://github.com/eclipse-theia/theia)
|
|
22
|
-
- [Theia - Website](https://theia-ide.org/)
|
|
23
|
-
|
|
24
|
-
## License
|
|
25
|
-
|
|
26
|
-
- [Eclipse Public License 2.0](http://www.eclipse.org/legal/epl-2.0/)
|
|
27
|
-
- [一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception](https://projects.eclipse.org/license/secondary-gpl-2.0-cp)
|
|
28
|
-
|
|
29
|
-
## Trademark
|
|
30
|
-
"Theia" is a trademark of the Eclipse Foundation
|
|
31
|
-
https://www.eclipse.org/theia
|
|
1
|
+
<div align='center'>
|
|
2
|
+
|
|
3
|
+
<br />
|
|
4
|
+
|
|
5
|
+
<img src='https://raw.githubusercontent.com/eclipse-theia/theia/master/logo/theia.svg?sanitize=true' alt='theia-ext-logo' width='100px' />
|
|
6
|
+
|
|
7
|
+
<h2>ECLIPSE THEIA - PLUGIN-DEVELOPMENT EXTENSION</h2>
|
|
8
|
+
|
|
9
|
+
<hr />
|
|
10
|
+
|
|
11
|
+
</div>
|
|
12
|
+
|
|
13
|
+
## Description
|
|
14
|
+
|
|
15
|
+
The `@theia/plugin-dev` extension contributes functionality for the `plugin host`.
|
|
16
|
+
|
|
17
|
+
|
|
18
|
+
## Additional Information
|
|
19
|
+
|
|
20
|
+
- [API documentation for `@theia/plugin-dev`](https://eclipse-theia.github.io/theia/docs/next/modules/plugin_dev.html)
|
|
21
|
+
- [Theia - GitHub](https://github.com/eclipse-theia/theia)
|
|
22
|
+
- [Theia - Website](https://theia-ide.org/)
|
|
23
|
+
|
|
24
|
+
## License
|
|
25
|
+
|
|
26
|
+
- [Eclipse Public License 2.0](http://www.eclipse.org/legal/epl-2.0/)
|
|
27
|
+
- [一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception](https://projects.eclipse.org/license/secondary-gpl-2.0-cp)
|
|
28
|
+
|
|
29
|
+
## Trademark
|
|
30
|
+
"Theia" is a trademark of the Eclipse Foundation
|
|
31
|
+
https://www.eclipse.org/theia
|
|
@@ -1,75 +1,75 @@
|
|
|
1
|
-
import { StatusBar } from '@theia/core/lib/browser/status-bar/status-bar';
|
|
2
|
-
import { FrontendApplicationContribution, PreferenceServiceImpl, PreferenceChange } from '@theia/core/lib/browser';
|
|
3
|
-
import { MessageService } from '@theia/core/lib/common';
|
|
4
|
-
import { CommandRegistry } from '@theia/core/shared/@phosphor/commands';
|
|
5
|
-
import { Menu } from '@theia/core/shared/@phosphor/widgets';
|
|
6
|
-
import { FrontendApplicationStateService } from '@theia/core/lib/browser/frontend-application-state';
|
|
7
|
-
import { ConnectionStatusService } from '@theia/core/lib/browser/connection-status-service';
|
|
8
|
-
import { PluginDevServer } from '../common/plugin-dev-protocol';
|
|
9
|
-
import { HostedPluginManagerClient, HostedInstanceData } from './hosted-plugin-manager-client';
|
|
10
|
-
import { HostedPluginLogViewer } from './hosted-plugin-log-viewer';
|
|
11
|
-
import { HostedPluginPreferences } from './hosted-plugin-preferences';
|
|
12
|
-
/**
|
|
13
|
-
* Adds a status bar element displaying the state of secondary Theia instance with hosted plugin and
|
|
14
|
-
* allows controlling the instance by simple clicking on the status bar element.
|
|
15
|
-
*/
|
|
16
|
-
export declare class HostedPluginController implements FrontendApplicationContribution {
|
|
17
|
-
static readonly HOSTED_PLUGIN = "hosted-plugin";
|
|
18
|
-
static readonly HOSTED_PLUGIN_OFFLINE = "hosted-plugin-offline";
|
|
19
|
-
static readonly HOSTED_PLUGIN_FAILED = "hosted-plugin-failed";
|
|
20
|
-
protected readonly statusBar: StatusBar;
|
|
21
|
-
protected readonly frontendApplicationStateService: FrontendApplicationStateService;
|
|
22
|
-
protected readonly hostedPluginServer: PluginDevServer;
|
|
23
|
-
protected readonly hostedPluginManagerClient: HostedPluginManagerClient;
|
|
24
|
-
protected readonly connectionStatusService: ConnectionStatusService;
|
|
25
|
-
protected readonly hostedPluginLogViewer: HostedPluginLogViewer;
|
|
26
|
-
protected readonly hostedPluginPreferences: HostedPluginPreferences;
|
|
27
|
-
protected readonly preferenceService: PreferenceServiceImpl;
|
|
28
|
-
protected readonly messageService: MessageService;
|
|
29
|
-
private pluginState;
|
|
30
|
-
private watcherSuccess;
|
|
31
|
-
private entry;
|
|
32
|
-
initialize(): void;
|
|
33
|
-
/**
|
|
34
|
-
* Display status bar element for stopped plugin.
|
|
35
|
-
*/
|
|
36
|
-
protected onHostedPluginStopped(): Promise<void>;
|
|
37
|
-
/**
|
|
38
|
-
* Display status bar element for starting plugin.
|
|
39
|
-
*/
|
|
40
|
-
protected onHostedPluginStarting(): Promise<void>;
|
|
41
|
-
/**
|
|
42
|
-
* Display status bar element for running plugin.
|
|
43
|
-
*/
|
|
44
|
-
protected onHostedPluginRunning(): Promise<void>;
|
|
45
|
-
/**
|
|
46
|
-
* Display status bar element for failed plugin.
|
|
47
|
-
*/
|
|
48
|
-
protected onHostedPluginFailed(): Promise<void>;
|
|
49
|
-
protected onPreferencesChanged(preference: PreferenceChange): Promise<void>;
|
|
50
|
-
/**
|
|
51
|
-
* Starts / stops watchers on hosted instance state change.
|
|
52
|
-
*
|
|
53
|
-
* @param event hosted instance state change event
|
|
54
|
-
*/
|
|
55
|
-
protected handleWatchers(event: HostedInstanceData): Promise<void>;
|
|
56
|
-
private runWatchCompilation;
|
|
57
|
-
private getErrorMessage;
|
|
58
|
-
/**
|
|
59
|
-
* Updating status bar element when changing connection status.
|
|
60
|
-
*/
|
|
61
|
-
private onConnectionStatusChanged;
|
|
62
|
-
/**
|
|
63
|
-
* Show menu containing actions to start/stop/restart hosted plugin.
|
|
64
|
-
*/
|
|
65
|
-
protected showMenu(x: number, y: number): void;
|
|
66
|
-
/**
|
|
67
|
-
* Adds commands to the menu for running plugin.
|
|
68
|
-
*/
|
|
69
|
-
protected addCommandsForRunningPlugin(commands: CommandRegistry, menu: Menu): void;
|
|
70
|
-
/**
|
|
71
|
-
* Adds command to the menu for stopped plugin.
|
|
72
|
-
*/
|
|
73
|
-
protected addCommandsForStoppedPlugin(commands: CommandRegistry, menu: Menu): void;
|
|
74
|
-
}
|
|
1
|
+
import { StatusBar } from '@theia/core/lib/browser/status-bar/status-bar';
|
|
2
|
+
import { FrontendApplicationContribution, PreferenceServiceImpl, PreferenceChange } from '@theia/core/lib/browser';
|
|
3
|
+
import { MessageService } from '@theia/core/lib/common';
|
|
4
|
+
import { CommandRegistry } from '@theia/core/shared/@phosphor/commands';
|
|
5
|
+
import { Menu } from '@theia/core/shared/@phosphor/widgets';
|
|
6
|
+
import { FrontendApplicationStateService } from '@theia/core/lib/browser/frontend-application-state';
|
|
7
|
+
import { ConnectionStatusService } from '@theia/core/lib/browser/connection-status-service';
|
|
8
|
+
import { PluginDevServer } from '../common/plugin-dev-protocol';
|
|
9
|
+
import { HostedPluginManagerClient, HostedInstanceData } from './hosted-plugin-manager-client';
|
|
10
|
+
import { HostedPluginLogViewer } from './hosted-plugin-log-viewer';
|
|
11
|
+
import { HostedPluginPreferences } from './hosted-plugin-preferences';
|
|
12
|
+
/**
|
|
13
|
+
* Adds a status bar element displaying the state of secondary Theia instance with hosted plugin and
|
|
14
|
+
* allows controlling the instance by simple clicking on the status bar element.
|
|
15
|
+
*/
|
|
16
|
+
export declare class HostedPluginController implements FrontendApplicationContribution {
|
|
17
|
+
static readonly HOSTED_PLUGIN = "hosted-plugin";
|
|
18
|
+
static readonly HOSTED_PLUGIN_OFFLINE = "hosted-plugin-offline";
|
|
19
|
+
static readonly HOSTED_PLUGIN_FAILED = "hosted-plugin-failed";
|
|
20
|
+
protected readonly statusBar: StatusBar;
|
|
21
|
+
protected readonly frontendApplicationStateService: FrontendApplicationStateService;
|
|
22
|
+
protected readonly hostedPluginServer: PluginDevServer;
|
|
23
|
+
protected readonly hostedPluginManagerClient: HostedPluginManagerClient;
|
|
24
|
+
protected readonly connectionStatusService: ConnectionStatusService;
|
|
25
|
+
protected readonly hostedPluginLogViewer: HostedPluginLogViewer;
|
|
26
|
+
protected readonly hostedPluginPreferences: HostedPluginPreferences;
|
|
27
|
+
protected readonly preferenceService: PreferenceServiceImpl;
|
|
28
|
+
protected readonly messageService: MessageService;
|
|
29
|
+
private pluginState;
|
|
30
|
+
private watcherSuccess;
|
|
31
|
+
private entry;
|
|
32
|
+
initialize(): void;
|
|
33
|
+
/**
|
|
34
|
+
* Display status bar element for stopped plugin.
|
|
35
|
+
*/
|
|
36
|
+
protected onHostedPluginStopped(): Promise<void>;
|
|
37
|
+
/**
|
|
38
|
+
* Display status bar element for starting plugin.
|
|
39
|
+
*/
|
|
40
|
+
protected onHostedPluginStarting(): Promise<void>;
|
|
41
|
+
/**
|
|
42
|
+
* Display status bar element for running plugin.
|
|
43
|
+
*/
|
|
44
|
+
protected onHostedPluginRunning(): Promise<void>;
|
|
45
|
+
/**
|
|
46
|
+
* Display status bar element for failed plugin.
|
|
47
|
+
*/
|
|
48
|
+
protected onHostedPluginFailed(): Promise<void>;
|
|
49
|
+
protected onPreferencesChanged(preference: PreferenceChange): Promise<void>;
|
|
50
|
+
/**
|
|
51
|
+
* Starts / stops watchers on hosted instance state change.
|
|
52
|
+
*
|
|
53
|
+
* @param event hosted instance state change event
|
|
54
|
+
*/
|
|
55
|
+
protected handleWatchers(event: HostedInstanceData): Promise<void>;
|
|
56
|
+
private runWatchCompilation;
|
|
57
|
+
private getErrorMessage;
|
|
58
|
+
/**
|
|
59
|
+
* Updating status bar element when changing connection status.
|
|
60
|
+
*/
|
|
61
|
+
private onConnectionStatusChanged;
|
|
62
|
+
/**
|
|
63
|
+
* Show menu containing actions to start/stop/restart hosted plugin.
|
|
64
|
+
*/
|
|
65
|
+
protected showMenu(x: number, y: number): void;
|
|
66
|
+
/**
|
|
67
|
+
* Adds commands to the menu for running plugin.
|
|
68
|
+
*/
|
|
69
|
+
protected addCommandsForRunningPlugin(commands: CommandRegistry, menu: Menu): void;
|
|
70
|
+
/**
|
|
71
|
+
* Adds command to the menu for stopped plugin.
|
|
72
|
+
*/
|
|
73
|
+
protected addCommandsForStoppedPlugin(commands: CommandRegistry, menu: Menu): void;
|
|
74
|
+
}
|
|
75
75
|
//# sourceMappingURL=hosted-plugin-controller.d.ts.map
|