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.