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.

Implements

  • FrontendApplicationContribution

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