Theia API Documentation v1.72.1

Eclipse Theia Website GitHub

Preparing search index...

@theia/core
common/preferences/preference-schema-service
OVERRIDE_PROPERTY

Variable OVERRIDE_PROPERTY`Const`

OVERRIDE_PROPERTY: "\\[(.*)\\]$" = '\\[(.*)\\]$'

Defined in packages/core/src/common/preferences/preference-schema-service.ts:29

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.72.1

Loading...