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

    Service to access the list of known Agents.

    Implements

    Index

    Constructors

    Properties

    _agents: Agent[] = []
    aiSettingsService: undefined | AISettingsService
    disabledAgents: Set<string> = ...
    onDidChangeAgents: Event<void> = ...

    Emitted when the list of agents changes. This can be used to update the UI when agents are added or removed.

    promptService: PromptService

    Methods