Theia API Documentation v1.65.0
    Preparing search index...

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

    Implements

    Index

    Constructors

    Properties

    connectionStatusService: ConnectionStatusService
    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