Settings.with_backend


Description:

public Settings.with_backend (string schema_id, SettingsBackend backend)

Creates a new Settings object with the schema specified by schema_id and a given SettingsBackend.

Creating a Settings object with a different backend allows accessing settings from a database other than the usual one. For example, it may make sense to pass a backend corresponding to the "defaults" settings database on the system to get a settings object that modifies the system default settings instead of the settings for this user.

Parameters:

schema_id

the id of the schema

backend

the SettingsBackend to use

Returns:

a new Settings object