suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

change ProfJ insert menu items to be grayed when there's no target editor

Browse Source 
svn: r6169
This commit is contained in:
Matthew Flatt 2007-05-07 21:56:51 +00:00
parent b95012ae00
commit 2f44f07916
2 changed files with 11 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/profj/tool.ss
View File

@ -892,7 +892,10 @@
(let ([c-box (new java-comment-box%)]
[text (get-edit-target-object)])
(send text insert c-box)
(send text set-caret-owner c-box 'global)))))
(send text set-caret-owner c-box 'global))))
(demand-callback
(lambda (mi)
(send mi enable ((get-edit-target-object) . is-a? . text%)))))
(register-capability-menu-item 'profj:special:java-comment-box (get-special-menu))
))

8
collects/profjWizard/tool.ss
View File

@ -87,7 +87,13 @@
;; ... the diagram
(send editor insert (format "/*~n~a~n*/~n~n" (draw (car class-as-info)))))
(send editor insert class-as-text))))
(new menu-item% (label descr) (parent (get-special-menu)) (callback A)))
(define (enable mi)
(send mi enable ((get-edit-target-object) . is-a? . text%)))
(new menu-item%
(label descr)
(parent (get-special-menu))
(callback A)
(demand-callback enable)))
(make-menu-item% INSERT-JAVA-CLASS get-class-info make-class class-draw)
(register-capability-menu-item 'profjWizard:special:java-class (get-special-menu))