Class ServerUserSettingsApi
java.lang.Object
com.github.copilot.generated.rpc.ServerUserSettingsApi
API methods for the
user.settings namespace.- Since:
- 1.0.0
-
Method Summary
Modifier and TypeMethodDescriptionget()Lists every known user setting from settings.json, each with its effective value, its default, and whether it is at the default — so settings the user has never set still appear with their default value.set(UserSettingsSetParams params) Writes one or more user settings to settings.json, replacing each provided top-level key.
-
Method Details
-
get
Lists every known user setting from settings.json, each with its effective value, its default, and whether it is at the default — so settings the user has never set still appear with their default value. Does not include repository- or enterprise-managed overrides that the runtime layers on top at session time.- Since:
- 1.0.0
-
set
Writes one or more user settings to settings.json, replacing each provided top-level key. A key whose value is null is removed.- Since:
- 1.0.0
-