From 2ddf90f3fcf56491e5da87fc7d5bc0f0bfd4f205 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Thu, 20 Jan 2011 14:03:28 -0600
Subject: [PATCH] adjusted deinprogramm preferences to use the framework
 preference system so that drracket still starts up when there is a locked
 preference file under windows

---
 collects/deinprogramm/deinprogramm-langs.rkt | 2 +-
 collects/deinprogramm/signature/tool.rkt     | 8 +++++---
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/collects/deinprogramm/deinprogramm-langs.rkt b/collects/deinprogramm/deinprogramm-langs.rkt
index a8f6de65ea..d01dc1b6c0 100644
--- a/collects/deinprogramm/deinprogramm-langs.rkt
+++ b/collects/deinprogramm/deinprogramm-langs.rkt
@@ -202,7 +202,7 @@
 				 obj signature message blame))))))
                  (scheme-test-data (list (drscheme:rep:current-rep) drs-eventspace test-display%))
                  (test-execute (get-preference 'tests:enable? (lambda () #t)))
-		 (signature-checking-enabled? (get-preference 'signatures:enable-checking? (lambda () #t)))
+		 (signature-checking-enabled? (preferences:get 'signatures:enable-checking?))
                  (test-format (make-formatter (lambda (v o)
 						(render-value/format (if (procedure? v)
 									 generic-proc
diff --git a/collects/deinprogramm/signature/tool.rkt b/collects/deinprogramm/signature/tool.rkt
index 4c51cd4352..c18490472b 100644
--- a/collects/deinprogramm/signature/tool.rkt
+++ b/collects/deinprogramm/signature/tool.rkt
@@ -6,6 +6,8 @@
          string-constants)
 (provide tool@)
 
+(preferences:set-default 'signatures:enable-checking? #t boolean?)
+
 (define tool@
   (unit (import drracket:tool^) (export drracket:tool-exports^)
 
@@ -35,14 +37,14 @@
                           (unless enabled?
                             (set! enabled? #t)
                             (set-label disable-label)
-                            (put-preferences '(signatures:enable-checking?) '(#t))))
+                            (preferences:set 'signatures:enable-checking? '#f)))
                         (define/public (disable-signature-checking)
                           (when enabled?
                             (set! enabled? #f)
                             (set-label enable-label)
-                            (put-preferences '(signatures:enable-checking?) '(#f))))
+                            (preferences:set 'signatures:enable-checking? '#f)))
                         (super-instantiate ()))]
-                     [enable? (get-preference 'signatures:enable-checking? (lambda () #t))]
+                     [enable? (preferences:get 'signatures:enable-checking?)]
                      [enable-menu-item (make-object enable-menu-item%
                                          (if enable? disable-label enable-label)
                                          language-menu