Default implementation of the GettingStartedWidget. The widget is displayed when there are currently no workspaces present. Some of the features displayed include:

  • open commands.
  • recently used workspaces.
  • settings commands.
  • help commands.
  • helpful links.

Hierarchy

  • ReactWidget
    • GettingStartedWidget

Constructors

  • Parameters

    • Optional options: IOptions

    Returns GettingStartedWidget

Properties

aiIsIncluded: boolean

Indicates whether the "ai-core" extension is available.

appServer: ApplicationServer
applicationInfo: undefined | ApplicationInfo

The ApplicationInfo for the application if available. Used in order to obtain the version number of the application.

applicationName: string = ...

The application name which is used for display purposes.

commandRegistry: CommandRegistry
compatibilityUrl: "https://eclipse-theia.github.io/vscode-theia-comparator/status.html" = 'https://eclipse-theia.github.io/vscode-theia-comparator/status.html'
documentationUrl: "https://www.theia-ide.org/docs/" = 'https://www.theia-ide.org/docs/'

Collection of useful links to display for end users.

environments: EnvVariablesServer
extensionUrl: "https://www.theia-ide.org/docs/authoring_extensions" = 'https://www.theia-ide.org/docs/authoring_extensions'
ghProjectUrl: "https://github.com/eclipse-theia/theia/issues/new/choose" = 'https://github.com/eclipse-theia/theia/issues/new/choose'
home: undefined | string
labelProvider: LabelProvider
pluginUrl: "https://www.theia-ide.org/docs/authoring_plugins" = 'https://www.theia-ide.org/docs/authoring_plugins'
preferenceService: PreferenceService
recentLimit: number = 5

The recently used workspaces limit. Used in order to limit the number of recently used workspaces to display.

recentWorkspaces: string[] = []

The list of recently used workspaces.

theiaAIDocUrl: "https://theia-ide.org/docs/user_ai/" = 'https://theia-ide.org/docs/user_ai/'
windowService: WindowService
workspaceService: WorkspaceService
ID: "getting.started.widget" = 'getting.started.widget'

The widget id.

LABEL: string = ...

The widget label which is used for display purposes.

Methods