A.47 library(settings): Setting management
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
The SWI-Prolog library
library(settings): Setting management
setting/4
setting/2
env/2
env/3
set_setting/2
restore_setting/1
set_setting_default/2
load_settings/1
load_settings/2
save_settings/0
save_settings/1
current_setting/1
setting_property/2
list_settings/0
list_settings/1
convert_setting_text/3
Packages
Availability:
:- use_module(
library(settings)
).
(can be autoloaded)
[det]
restore_setting
(
:Name
)
Restore the value of setting
Name
to its default. Broadcast a change like
set_setting/2
if the current value is not the default.
[det]restore_setting(:Name)Restore the value of setting Name to its default. Broadcast a
change like set_setting/2
if the current value is not the default.