@theia/plugin-dev 1.34.1 → 1.34.3

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 (53) hide show
  1. package/LICENSE +641 -641
  2. package/README.md +31 -31
  3. package/lib/browser/hosted-plugin-controller.d.ts +74 -74
  4. package/lib/browser/hosted-plugin-controller.js +352 -352
  5. package/lib/browser/hosted-plugin-frontend-contribution.d.ts +6 -6
  6. package/lib/browser/hosted-plugin-frontend-contribution.js +56 -56
  7. package/lib/browser/hosted-plugin-informer.d.ts +25 -25
  8. package/lib/browser/hosted-plugin-informer.js +102 -102
  9. package/lib/browser/hosted-plugin-log-viewer.d.ts +14 -14
  10. package/lib/browser/hosted-plugin-log-viewer.js +69 -69
  11. package/lib/browser/hosted-plugin-manager-client.d.ts +79 -79
  12. package/lib/browser/hosted-plugin-manager-client.js +407 -407
  13. package/lib/browser/hosted-plugin-preferences.d.ts +13 -13
  14. package/lib/browser/hosted-plugin-preferences.js +60 -60
  15. package/lib/browser/plugin-dev-frontend-module.d.ts +3 -3
  16. package/lib/browser/plugin-dev-frontend-module.js +42 -42
  17. package/lib/common/index.d.ts +2 -2
  18. package/lib/common/index.js +31 -31
  19. package/lib/common/plugin-dev-protocol.d.ts +24 -24
  20. package/lib/common/plugin-dev-protocol.js +20 -20
  21. package/lib/node/hosted-instance-manager.d.ts +102 -102
  22. package/lib/node/hosted-instance-manager.js +316 -316
  23. package/lib/node/hosted-plugin-reader.d.ts +11 -11
  24. package/lib/node/hosted-plugin-reader.js +68 -68
  25. package/lib/node/hosted-plugin-uri-postprocessor.d.ts +6 -6
  26. package/lib/node/hosted-plugin-uri-postprocessor.js +27 -27
  27. package/lib/node/hosted-plugins-manager.d.ts +41 -41
  28. package/lib/node/hosted-plugins-manager.js +118 -118
  29. package/lib/node/plugin-dev-backend-module.d.ts +4 -4
  30. package/lib/node/plugin-dev-backend-module.js +53 -53
  31. package/lib/node/plugin-dev-service.d.ts +25 -25
  32. package/lib/node/plugin-dev-service.js +108 -108
  33. package/lib/node-electron/plugin-dev-electron-backend-module.d.ts +3 -3
  34. package/lib/node-electron/plugin-dev-electron-backend-module.js +28 -28
  35. package/lib/package.spec.js +25 -25
  36. package/package.json +9 -9
  37. package/src/browser/hosted-plugin-controller.ts +356 -356
  38. package/src/browser/hosted-plugin-frontend-contribution.ts +45 -45
  39. package/src/browser/hosted-plugin-informer.ts +93 -93
  40. package/src/browser/hosted-plugin-log-viewer.ts +52 -52
  41. package/src/browser/hosted-plugin-manager-client.ts +426 -426
  42. package/src/browser/hosted-plugin-preferences.ts +71 -71
  43. package/src/browser/plugin-dev-frontend-module.ts +45 -45
  44. package/src/common/index.ts +21 -21
  45. package/src/common/plugin-dev-protocol.ts +45 -45
  46. package/src/node/hosted-instance-manager.ts +381 -381
  47. package/src/node/hosted-plugin-reader.ts +58 -58
  48. package/src/node/hosted-plugin-uri-postprocessor.ts +32 -32
  49. package/src/node/hosted-plugins-manager.ts +146 -146
  50. package/src/node/plugin-dev-backend-module.ts +54 -54
  51. package/src/node/plugin-dev-service.ts +107 -107
  52. package/src/node-electron/plugin-dev-electron-backend-module.ts +29 -29
  53. 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