list_settings/0List settings to =current_output=. list_settings/1List settings to =current_output=. load_settings/1Load local settings from File. load_settings/2Load local settings from File. restore_setting/1Restore the value of setting Name to its default. save_settings/0Save modified settings to File. save_settings/1Save modified settings to File. set_setting/2Change a setting. set_setting_default/2Change the default for a setting. setting/2True when Name is a currently defined setting with Value. setting/4Define a setting. setting_property/2Query currently defined settings.