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

Theia TypeDoc
plugin-ext
TextEditorPositionData

Interface TextEditorPositionData

interface TextEditorPositionData {
[id: string]: EditorPosition;
}

Indexable

[id: string]: EditorPosition

Defined in packages/plugin-ext/src/common/plugin-api-rpc.ts:1212

Settings

Member Visibility

Protected
Private
Inherited

Theme

Loading...