From 8c9abb44de4cb0d80ab437d0c461aa3367199ee3 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 19 Jan 2009 12:28:37 +0000 Subject: [PATCH] shortcut selection of checkable menu item should toggle checkmark (merge to 4.1.4) svn: r13220 original commit: a016c8c108583959dc68282cb873c207a66b0f9d --- collects/mred/private/mrmenu.ss | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/collects/mred/private/mrmenu.ss b/collects/mred/private/mrmenu.ss index 09ac34f4..e04f6250 100644 --- a/collects/mred/private/mrmenu.ss +++ b/collects/mred/private/mrmenu.ss @@ -305,7 +305,11 @@ ;; keymap function callback already in exit mode: (lambda (edit event) (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)))) (send keymap map-function key-binding "menu-item") keymap))])