Options
All
  • Public
  • Public/Protected
  • All
Menu

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

connectionStatusService: ConnectionStatusService
entry: undefined | StatusBarEntry
frontendApplicationStateService: FrontendApplicationStateService
hostedPluginLogViewer: HostedPluginLogViewer
hostedPluginManagerClient: HostedPluginManagerClient
hostedPluginPreferences: HostedPluginPreferences
hostedPluginServer: PluginDevServer
messageService: MessageService
pluginState: HostedInstanceState = HostedInstanceState.STOPPED
preferenceService: PreferenceServiceImpl
statusBar: StatusBar
watcherSuccess: boolean
HOSTED_PLUGIN: "hosted-plugin" = 'hosted-plugin'
HOSTED_PLUGIN_FAILED: "hosted-plugin-failed" = 'hosted-plugin-failed'
HOSTED_PLUGIN_OFFLINE: "hosted-plugin-offline" = 'hosted-plugin-offline'

Methods

  • addCommandsForRunningPlugin(commands: CommandRegistry, menu: Menu): void
  • addCommandsForStoppedPlugin(commands: CommandRegistry, menu: Menu): void
  • getErrorMessage(error: any): string
  • initialize(): void
  • onConnectionStatusChanged(): void
  • onHostedPluginFailed(): Promise<void>
  • onHostedPluginRunning(): Promise<void>
  • onHostedPluginStarting(): Promise<void>
  • onHostedPluginStopped(): Promise<void>
  • onPreferencesChanged(preference: PreferenceChange): Promise<void>
  • runWatchCompilation(pluginLocation: string): Promise<void>
  • showMenu(x: number, y: number): void