suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

adjusted deinprogramm preferences to use the framework preference system so that drracket still starts up when there is a locked preference file under windows

Browse Source
This commit is contained in:
Robby Findler 2011-01-20 14:03:28 -06:00
parent cde613218e
commit 2ddf90f3fc
2 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/deinprogramm/deinprogramm-langs.rkt
View File

@ -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

8
collects/deinprogramm/signature/tool.rkt
View File

@ -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