From f3b58101734f1a5b6e126f9a62bf4f66ba4a4e62 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 24 Jun 2003 15:34:30 +0000 Subject: [PATCH] . original commit: bb399c64bdc1b7f2ba1a1144438e74d207d71c97 --- collects/mred/mred.ss | 17 ++++++++--------- 1 file changed, 8 insertions(+), 9 deletions(-) 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)))))