Options
All
  • Public
  • Public/Protected
  • All
Menu

Class HostedPluginInformer

Informs the user whether Theia is running with hosted plugin. Adds 'Development Host' status bar element and appends the same prefix to window title.

Hierarchy

  • HostedPluginInformer

Implements

  • FrontendApplicationContribution

Index

Constructors

Properties

Methods

Constructors

constructor

Properties

Protected Readonly connectionStatusService

connectionStatusService: ConnectionStatusService

Private entry

entry: StatusBarEntry

Protected Readonly frontendApplicationStateService

frontendApplicationStateService: FrontendApplicationStateService

Protected Readonly hostedPluginServer

hostedPluginServer: PluginDevServer

Protected Readonly statusBar

statusBar: StatusBar

Protected Readonly windowTitleService

windowTitleService: WindowTitleService

Protected Readonly workspaceService

workspaceService: WorkspaceService

Static Readonly DEVELOPMENT_HOST

DEVELOPMENT_HOST: "development-host" = 'development-host'

Static Readonly DEVELOPMENT_HOST_OFFLINE

DEVELOPMENT_HOST_OFFLINE: "development-host-offline" = 'development-host-offline'

Static Readonly DEVELOPMENT_HOST_TITLE

DEVELOPMENT_HOST_TITLE: string = ...

Methods

initialize

  • initialize(): void

Private updateStatusBarElement

  • updateStatusBarElement(): void