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