Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/core
common/preferences/preference-scope
PreferenceScope
is

Function is

is(scope: unknown): scope is PreferenceScope
Parameters
- scope: unknown
Returns scope is PreferenceScope
- Defined in packages/core/src/common/preferences/preference-scope.ts:30

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...