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

    Constructors

    Properties

    agentService: AgentService
    messageService: MessageService
    osNotificationService: OSNotificationService
    preferenceService: PreferenceService
    settingsService: AISettingsService
    windowBlinkService: WindowBlinkService

    Methods

    • Show a completion notification for the specified agent if enabled in preferences.

      Parameters

      • agentId: string

        The unique identifier of the agent

      • OptionaltaskDescription: string

        Optional description of the completed task

      Returns Promise<void>