Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/core
common/preferences/preference-configurations
PreferenceConfiguration

Interface PreferenceConfiguration

interface PreferenceConfiguration {
name: string;
}

Defined in packages/core/src/common/preferences/preference-configurations.ts:21
Defined in packages/core/src/common/preferences/preference-configurations.ts:22

Index

Properties

Properties

name

name: string

Defined in packages/core/src/common/preferences/preference-configurations.ts:23

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Properties

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...