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

Theia TypeDoc
plugin-ext
EditorGroupColumn

Type alias EditorGroupColumn

EditorGroupColumn: number

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

Settings

Member Visibility

Protected
Private
Inherited

Theme

Loading...