Theia API Documentation v1.71.0

Eclipse Theia Website GitHub

Preparing search index...

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

Interface EmptyContentRef

interface EmptyContentRef {
empty: true;
label?: string;
}

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

Index

Properties

Properties

empty

empty: true

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

`Optional`label

label?: string

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

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Properties

Eclipse Theia Website GitHub

Theia API Documentation v1.71.0

Loading...