Options
All
  • Public
  • Public/Protected
  • All
Menu

Class HostedPluginController

Adds a status bar element displaying the state of secondary Theia instance with hosted plugin and allows controlling the instance by simple clicking on the status bar element.

Hierarchy

  • HostedPluginController

Implements

  • FrontendApplicationContribution

Index

Constructors

Properties

Methods

Constructors

constructor

Properties

Protected Readonly connectionStatusService

connectionStatusService: ConnectionStatusService

Private entry

entry: undefined | StatusBarEntry

Protected Readonly frontendApplicationStateService

frontendApplicationStateService: FrontendApplicationStateService

Protected Readonly hostedPluginLogViewer

hostedPluginLogViewer: HostedPluginLogViewer

Protected Readonly hostedPluginManagerClient

hostedPluginManagerClient: HostedPluginManagerClient

Protected Readonly hostedPluginPreferences

hostedPluginPreferences: PreferenceProxy<HostedPluginConfiguration>

Protected Readonly hostedPluginServer

hostedPluginServer: HostedPluginServer

Protected Readonly messageService

messageService: MessageService

Private pluginState

pluginState: HostedInstanceState = ...

Protected Readonly preferenceService

preferenceService: PreferenceServiceImpl

Protected Readonly statusBar

statusBar: StatusBar

Private watcherSuccess

watcherSuccess: boolean

Static Readonly HOSTED_PLUGIN

HOSTED_PLUGIN: "hosted-plugin" = 'hosted-plugin'

Static Readonly HOSTED_PLUGIN_FAILED

HOSTED_PLUGIN_FAILED: "hosted-plugin-failed" = 'hosted-plugin-failed'

Static Readonly HOSTED_PLUGIN_OFFLINE

HOSTED_PLUGIN_OFFLINE: "hosted-plugin-offline" = 'hosted-plugin-offline'

Methods

Protected addCommandsForRunningPlugin

  • addCommandsForRunningPlugin(commands: CommandRegistry, menu: Menu): void

Protected addCommandsForStoppedPlugin

  • addCommandsForStoppedPlugin(commands: CommandRegistry, menu: Menu): void

Private getErrorMessage

  • getErrorMessage(error: any): string

Protected handleWatchers

initialize

  • initialize(): void

Private onConnectionStatusChanged

  • onConnectionStatusChanged(): void

Protected onHostedPluginFailed

  • onHostedPluginFailed(): Promise<void>

Protected onHostedPluginRunning

  • onHostedPluginRunning(): Promise<void>

Protected onHostedPluginStarting

  • onHostedPluginStarting(): Promise<void>

Protected onHostedPluginStopped

  • onHostedPluginStopped(): Promise<void>

Protected onPreferencesChanged

  • onPreferencesChanged(preference: PreferenceChange): Promise<void>

Private runWatchCompilation

  • runWatchCompilation(pluginLocation: string): Promise<void>

Protected showMenu

  • showMenu(x: number, y: number): void