Theia API Documentation v1.71.0

Eclipse Theia Website GitHub

Preparing search index...

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

Interface UserInteractionArgs

interface UserInteractionArgs {
interactions: UserInteractionStep[];
}

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

Index

Properties

Properties

interactions

interactions: UserInteractionStep[]

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

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Properties

Eclipse Theia Website GitHub

Theia API Documentation v1.71.0

Loading...