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

shortcut selection of checkable menu item should toggle checkmark (merge to 4.1.4)

Browse Source 
svn: r13220

original commit: a016c8c108583959dc68282cb873c207a66b0f9d
This commit is contained in:
Matthew Flatt 2009-01-19 12:28:37 +00:00
parent ff00050329
commit 8c9abb44de
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/mred/private/mrmenu.ss
View File

@ -305,7 +305,11 @@
;; keymap function callback already in exit mode: ;; keymap function callback already in exit mode:
(lambda (edit event) (lambda (edit event)
(if (is-enabled?) (if (is-enabled?)
(callback this (make-object wx:control-event% 'menu)) (begin
(when (this . is-a? . checkable-menu-item%)
(begin
(send this check (not (send this is-checked?)))))
(callback this (make-object wx:control-event% 'menu)))
(wx:bell)))) (wx:bell))))
(send keymap map-function key-binding "menu-item") (send keymap map-function key-binding "menu-item")
keymap))]) keymap))])