Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/core
common/quick-pick-service
QuickPickSeparator

Interface QuickPickSeparator

interface QuickPickSeparator {
label?: string;
type: "separator";
}

Defined in packages/core/src/common/quick-pick-service.ts:62
Defined in packages/core/src/common/quick-pick-service.ts:77
Defined in packages/core/src/common/quick-pick-service.ts:82

Index

Properties

Properties

`Optional`label

label?: string

Defined in packages/core/src/common/quick-pick-service.ts:64
Defined in packages/core/src/common/quick-pick-service.ts:79

type

type: "separator"

Defined in packages/core/src/common/quick-pick-service.ts:63
Defined in packages/core/src/common/quick-pick-service.ts:78

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Properties

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...