From 723876317a2cb3bcc3ee92d8b58cbd6f773ba19a Mon Sep 17 00:00:00 2001 From: Kathy Gray Date: Fri, 16 Dec 2005 21:12:22 +0000 Subject: [PATCH] Removed interactions box from showing up and corrected example box to work with ProfJ svn: r1629 --- collects/profjBoxes/private/example-box.ss | 13 +++++++------ collects/profjBoxes/tool.ss | 2 +- 2 files changed, 8 insertions(+), 7 deletions(-) diff --git a/collects/profjBoxes/private/example-box.ss b/collects/profjBoxes/private/example-box.ss index bb35937d1c..f7b5fd9939 100644 --- a/collects/profjBoxes/private/example-box.ss +++ b/collects/profjBoxes/private/example-box.ss @@ -80,12 +80,13 @@ (send example get-value) level)]) #'(define name value))))) - #`(parse-example-box (list #,@(send examples map-children - (lambda (example) - (with-syntax ([type (send example get-type)] - [id (send example get-name)] - [value (send example get-value)]) - #'(list type id value)))))) + (syntax-property #`(parse-example-box (list #,@(send examples map-children + (lambda (example) + (with-syntax ([type (send example get-type)] + [id (send example get-name)] + [value (send example get-value)]) + #'(list type id value)))))) + 'example-box #t) )) #;(-> void?) diff --git a/collects/profjBoxes/tool.ss b/collects/profjBoxes/tool.ss index 8f9b85f736..f8b199e52e 100644 --- a/collects/profjBoxes/tool.ss +++ b/collects/profjBoxes/tool.ss @@ -44,7 +44,7 @@ (send text end-edit-sequence))))) (demand-callback has-editor-on-demand)) - (new menu-item% + #;(new menu-item% (label (string-constant profjBoxes-insert-java-interactions)) (parent (get-special-menu)) (callback