Theia API Documentation v1.66.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/ai-ide
common/ai-ide-preferences
PREFERENCE_NAME_ORCHESTRATOR_EXCLUSION_LIST
Variable PREFERENCE_NAME_ORCHESTRATOR_EXCLUSION_LIST
Const
PREFERENCE_NAME_ORCHESTRATOR_EXCLUSION_LIST
:
"ai-features.orchestrator.excludedAgents"
= 'ai-features.orchestrator.excludedAgents'
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
Eclipse Theia Website
GitHub
Theia API Documentation v1.66.0
Loading...