From f2008f3a7a5f194bf9e3671c9b59ff2a1806cf16 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 9 Dec 2006 17:10:46 +0000 Subject: [PATCH] improved docs slightly svn: r5071 --- collects/framework/framework.ss | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/framework/framework.ss b/collects/framework/framework.ss index 98b49d00e0..2261f16ae0 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.")