Preparing search index...
The search index is not available

Theia TypeDoc
editor
WidgetId

Interface WidgetId

interface WidgetId {
id: number;
uri: string;
}

Defined in packages/editor/src/browser/editor-manager.ts:28

Index

Properties

Properties

id

id: number

Defined in packages/editor/src/browser/editor-manager.ts:29

uri

uri: string

Defined in packages/editor/src/browser/editor-manager.ts:30

Settings

Member Visibility

Protected
Private
Inherited

Theme

On This Page

Loading...