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

drs now remembers the teachpacks last set and uses them when switching to a new (teaching) language

Browse Source 
svn: r6981
This commit is contained in:
Robby Findler 2007-07-29 19:17:17 +00:00
parent 67dd80eb78
commit a25a288870
2 changed files with 22 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/drscheme/private/main.ss
View File

@ -57,6 +57,16 @@
(finder:default-filters)))
(application:current-app-name (string-constant drscheme))
(preferences:set-default 'drscheme:htdp:last-set-teachpacks
'()
(λ (x)
(and (list? x)
(andmap (λ (x)
(and (list? x)
(pair? x)
(eq? (car x) 'lib)
(andmap string? (cdr x))))
x))))
(preferences:set-default 'drscheme:defs/ints-horizontal #f boolean?)
(preferences:set-default 'drscheme:unit-window-max? #f boolean?)
(preferences:set-default 'drscheme:frame:initial-position #f

27
collects/lang/htdp-langs.ss
View File

@ -106,7 +106,7 @@
#t
'none
#f
'()))
(preferences:get 'drscheme:htdp:last-set-teachpacks)))
(define/override (default-settings? s)
(and (super default-settings? s)
@ -566,20 +566,17 @@
(cadr teachpack)))
settings)
(make-htdp-lang-settings
(drscheme:language:simple-settings-case-sensitive settings)
(drscheme:language:simple-settings-printing-style settings)
(drscheme:language:simple-settings-fraction-style settings)
(drscheme:language:simple-settings-show-sharing settings)
(drscheme:language:simple-settings-insert-newlines settings)
(drscheme:language:simple-settings-annotations settings)
(htdp-lang-settings-tracing? settings)
(append old-tps (list teachpack)))
#;
(copy-struct htdp-lang-settings settings
[htdp-lang-settings-teachpacks
(append old-tps (list teachpack))])))
(let ([new-tps (append old-tps (list teachpack))])
(preferences:set 'drscheme:htdp:last-set-teachpacks new-tps)
(make-htdp-lang-settings
(drscheme:language:simple-settings-case-sensitive settings)
(drscheme:language:simple-settings-printing-style settings)
(drscheme:language:simple-settings-fraction-style settings)
(drscheme:language:simple-settings-show-sharing settings)
(drscheme:language:simple-settings-insert-newlines settings)
(drscheme:language:simple-settings-annotations settings)
(htdp-lang-settings-tracing? settings)
new-tps))))
settings)))
(λ (settings name)
(make-htdp-lang-settings