From db13cddef0bdf05be2552eaaf2ad1dc6391a258b Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sat, 22 Jan 2011 07:43:57 -0600
Subject: [PATCH] added docs and contract for preferences:get-preference/gui

---
 collects/framework/main.rkt | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/collects/framework/main.rkt b/collects/framework/main.rkt
index f4cb5cc076..85c921a59c 100644
--- a/collects/framework/main.rkt
+++ b/collects/framework/main.rkt
@@ -192,6 +192,19 @@
             any preference save eventually succeeds, all of the past failures
             are also written at that point.}]})
 
+ (proc-doc/names
+  preferences:get-preference/gui
+  (->* (symbol?)
+       ((-> void?))
+       any/c)
+  ((sym)
+   ((default (λ () (error 'get-preference/gui "unknown pref ~s" sym)))))
+  @{Like @scheme[get-preference], but has more sophisticated error handling.
+  In particular, it passes a @racket[#:timeout-lock-there] argument that
+  informs the user that the preferences file is locked (and offers the alternative
+  of not showing the message again).})
+
+ 
  (proc-doc/names
   preferences:add-panel
   (-> (or/c string? (cons/c string? (listof string?)))