Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/editor
browser/editor-manager
WidgetId

Interface WidgetId

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

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

Index

Properties

Properties

id

id: number

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

uri

uri: string

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

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Properties

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...