diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index a8d6a075..ba3cc6d0 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -1606,15 +1606,14 @@ [handle-menu-key (lambda (event) (and menu-bar - (begin - ;; It can't be a menu event without a - ;; control, meta, or alt key... - (when (or (send event get-control-down) - (send event get-meta-down) - (send event get-alt-down)) - (send menu-bar on-demand)) - #t) - (send menu-bar handle-key event)))]) + ;; It can't be a menu event without a + ;; control, meta, or alt key... + (or (send event get-control-down) + (send event get-meta-down) + (send event get-alt-down)) + (begin + (send menu-bar on-demand) + (send menu-bar handle-key event))))]) (sequence (apply super-init args)))))