improved docs slightly
svn: r5071 original commit: f2008f3a7a5f194bf9e3671c9b59ff2a1806cf16
This commit is contained in:
parent
9dfd53b32b
commit
6032d24e71
|
@ -159,6 +159,8 @@
|
|||
"\\var{symbol} to \\var{value}. This should be called when the"
|
||||
"users requests a change to a preference."
|
||||
""
|
||||
"This function immediately writes the preference value to disk."
|
||||
""
|
||||
"It raises"
|
||||
"\\scmindex{exn:unknown-preference}\\rawscm{exn:unknown-preference}"
|
||||
"if the preference's default has not been set.")
|
||||
|
|
Loading…
Reference in New Issue
Block a user