From dedbded939c8193c1de6c0644de027bbd9e5c412 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Tue, 1 Aug 2006 16:38:36 +0000
Subject: [PATCH] removed insert lambda menu

svn: r3920
---
 collects/lang/htdp-langs.ss | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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