Theia API Documentation v1.72.1

Eclipse Theia Website GitHub

Preparing search index...

@theia/ai-ide
common/user-interaction-tool
USER_INTERACTION_FUNCTION_ID

Variable USER_INTERACTION_FUNCTION_ID`Const`

USER_INTERACTION_FUNCTION_ID: "userInteraction" = 'userInteraction'

Defined in packages/ai-ide/src/common/user-interaction-tool.ts:19

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.72.1

Loading...