Theia API Documentation v1.71.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/ai-ide
common/ai-ide-preferences
Module common/ai-ide-preferences
Variables
aiIdePreferenceSchema
PREFERENCE_NAME_AGENT_MODE_ENABLED
PREFERENCE_NAME_ENABLE_AI
PREFERENCE_NAME_ORCHESTRATOR_EXCLUSION_LIST
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Variables
ai
Ide
Preference
Schema
PREFERENCE_
NAME_
AGENT_
MODE_
ENABLED
PREFERENCE_
NAME_
ENABLE_
AI
PREFERENCE_
NAME_
ORCHESTRATOR_
EXCLUSION_
LIST
Eclipse Theia Website
GitHub
Theia API Documentation v1.71.0
Loading...