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'

Defined in packages/ai-ide/src/common/ai-ide-preferences.ts:22

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.66.0

Loading...