Options
All
  • Public
  • Public/Protected
  • All
Menu

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

connectionStatusService: ConnectionStatusService
entry: StatusBarEntry
frontendApplicationStateService: FrontendApplicationStateService
hostedPluginServer: PluginDevServer
statusBar: StatusBar
windowTitleService: WindowTitleService
workspaceService: WorkspaceService
DEVELOPMENT_HOST: "development-host" = 'development-host'
DEVELOPMENT_HOST_OFFLINE: "development-host-offline" = 'development-host-offline'
DEVELOPMENT_HOST_TITLE: string = ...

Methods

  • initialize(): void
  • updateStatusBarElement(): void