Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/markers
browser/marker-tree
MarkerOptions

Interface MarkerOptions

interface MarkerOptions {
kind: string;
}

Defined in packages/markers/src/browser/marker-tree.ts:26
Defined in packages/markers/src/browser/marker-tree.ts:27

Index

Properties

Properties

`Readonly`kind

kind: string

Defined in packages/markers/src/browser/marker-tree.ts:28

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Properties

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...