Properties
Protected Readonly connectionStatusService
connectionStatusService: ConnectionStatusService
Private entry
entry: StatusBarEntry
Protected Readonly frontendApplicationStateService
frontendApplicationStateService: FrontendApplicationStateService
Protected Readonly hostedPluginServer
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 = ...
Informs the user whether Theia is running with hosted plugin. Adds 'Development Host' status bar element and appends the same prefix to window title.