diff --git a/collects/framework/framework.ss b/collects/framework/framework.ss index 98b49d00..2261f16a 100644 --- a/collects/framework/framework.ss +++ b/collects/framework/framework.ss @@ -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.")