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

fixed a preference setting

Browse Source
This commit is contained in:
Robby Findler 2010-04-29 11:06:27 -05:00
parent fbf52d6957
commit f46ad89200
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/lang/htdp-langs.rkt
View File

@ -85,7 +85,7 @@
#t
'none
#f
(preferences:get 'drscheme:htdp:last-set-teachpacks)))
(preferences:get 'drracket:htdp:last-set-teachpacks)))
(define/override (default-settings? s)
(and (super default-settings? s)
@ -559,7 +559,7 @@
settings)
(let ([new-tps (append old-tps (list teachpack))])
(preferences:set 'drscheme:htdp:last-set-teachpacks new-tps)
(preferences:set 'drracket:htdp:last-set-teachpacks new-tps)
(make-htdp-lang-settings
(drscheme:language:simple-settings-case-sensitive settings)
(drscheme:language:simple-settings-printing-style settings)
@ -573,7 +573,7 @@
(λ (settings name)
(let ([new-tps (filter (λ (x) (not (equal? (cadr x) name)))
(htdp-lang-settings-teachpacks settings))])
(preferences:set 'drscheme:htdp:last-set-teachpacks new-tps)
(preferences:set 'drracket:htdp:last-set-teachpacks new-tps)
(make-htdp-lang-settings
(drscheme:language:simple-settings-case-sensitive settings)
(drscheme:language:simple-settings-printing-style settings)
@ -584,7 +584,7 @@
(htdp-lang-settings-tracing? settings)
new-tps)))
(λ (settings)
(preferences:set 'drscheme:htdp:last-set-teachpacks '())
(preferences:set 'drracket:htdp:last-set-teachpacks '())
(make-htdp-lang-settings
(drscheme:language:simple-settings-case-sensitive settings)
(drscheme:language:simple-settings-printing-style settings)