removed insert lambda menu
svn: r3920
This commit is contained in:
parent
b545bb5eb0
commit
dedbded939
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue
Block a user