diff --git a/collects/lang/htdp-langs.ss b/collects/lang/htdp-langs.ss index d910d3e3b9..1d611994dc 100644 --- a/collects/lang/htdp-langs.ss +++ b/collects/lang/htdp-langs.ss @@ -178,7 +178,7 @@ tracing todo: (lambda () (super render-value value settings port)))) - (super-instantiate ()))) + (super-new))) ;; sharing/not-config-panel : boolean boolean parent -> (case-> (-> settings) (settings -> void)) ;; constructs the config-panel for a language without a sharing option. @@ -442,6 +442,11 @@ tracing todo: (current-namespace (module->namespace '#%htdp)))))))] [(done) eof])))) + (define/augment (capability-value key) + (case key + [(drscheme:special:insert-lambda) #f] + [else (drscheme:language:get-capability-default key)])) + (super-new))) ;; rewrite-module : syntax -> syntax