closes PR 11241
This commit is contained in:
parent
7dbb287601
commit
feddcdaef9
|
@ -427,7 +427,9 @@
|
||||||
(newline port)))
|
(newline port)))
|
||||||
|
|
||||||
(define/override (first-opened settings)
|
(define/override (first-opened settings)
|
||||||
(for-each namespace-require/constant (htdp-lang-settings-teachpacks settings)))
|
(for ([tp (in-list (htdp-lang-settings-teachpacks settings))])
|
||||||
|
(with-handlers ((exn:fail? void)) ;; swallow errors here; drracket is not ready to display errors at this point
|
||||||
|
(for-each namespace-require/constant tp))))
|
||||||
|
|
||||||
(inherit get-module get-transformer-module get-init-code
|
(inherit get-module get-transformer-module get-init-code
|
||||||
use-namespace-require/copy?)
|
use-namespace-require/copy?)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user