Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/core
browser/source-tree/tree-source
TreeSourceOptions

Interface TreeSourceOptions

interface TreeSourceOptions {
id?: string;
placeholder?: string;
}

Defined in packages/core/src/browser/source-tree/tree-source.ts:71

Index

Properties

id? placeholder?

Properties

`Optional`id

id?: string

Defined in packages/core/src/browser/source-tree/tree-source.ts:72

`Optional`placeholder

placeholder?: string

Defined in packages/core/src/browser/source-tree/tree-source.ts:73

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Properties

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...