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

Theia TypeDoc
plugin-ext
SourceControlGroupFeatures

Interface SourceControlGroupFeatures

interface SourceControlGroupFeatures {
hideWhenEmpty: undefined | boolean;
}

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

Index

Properties

Properties

hideWhenEmpty

hideWhenEmpty: undefined | boolean

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

Settings

Member Visibility

Protected
Private
Inherited

Theme

On This Page

Loading...