User preferences

User preferences of the problemtype will be automatically saved/read to/from disk in a xml file named .$problem_type$version.ini, located in the same user folder as the GiD preferences.

To set/get user preferences variables these procedures must be used.

• gid_groups_conds::get_preference <name> <default_value>

This function returns the value of a preference, or the default value if the preference does not already exist. It receives as arguments:
name - Name of the preference
value - Default value

• gid_groups_conds::set_preference <name> <value>

This function imposes the value of a preference. It receives as arguments:
name - Name of the preference
value - Default value

Example: get or set a user variable named 'verbosity_level', with default value=0

set level [gid_groups_conds::get_preference verbosity_level 0]
gid_groups_conds::set_preference verbosity_level 2