Removed interactions box from showing up and corrected example box to work with ProfJ
svn: r1629
This commit is contained in:
parent
f87c602e42
commit
723876317a
|
@ -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?)
|
||||
|
|
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue
Block a user