Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/markers
browser/marker-manager
Uri2MarkerEntry

Interface Uri2MarkerEntry

interface Uri2MarkerEntry {
markers: Owner2MarkerEntry[];
uri: string;
}

Defined in packages/markers/src/browser/marker-manager.ts:101

Index

Properties

Properties

markers

markers: Owner2MarkerEntry[]

Defined in packages/markers/src/browser/marker-manager.ts:103

uri

uri: string

Defined in packages/markers/src/browser/marker-manager.ts:102

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Properties

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...