Theia API Documentation v1.75.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/ai-core-ui
ai-configuration/ai-configuration-setting-commands
AiConfigurationSettingCommandArgs
isPreference
Function isPreference
isPreference
(
arg
:
unknown
,
)
:
arg
is
AiConfigurationSettingCommandArgs
&
{
id
:
string
;
scope
:
PreferenceScope
;
}
Preference-backed args:
id
+
scope
present (enables Copy and preference reset).
Parameters
arg
:
unknown
Returns
arg
is
AiConfigurationSettingCommandArgs
&
{
id
:
string
;
scope
:
PreferenceScope
;
}
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
Eclipse Theia Website
GitHub
Theia API Documentation v1.75.0
Loading...
Preference-backed args:
id+scopepresent (enables Copy and preference reset).