From ec1976b5c11cc12251e35c25f96bbbbbd266c634 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 23 Jan 2002 04:04:08 +0000 Subject: [PATCH] . original commit: c4abc424508dc3e196f1262bba2feaafd8d5fd1b --- collects/mred/mred.ss | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index 72511e78..53117f9f 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -1428,7 +1428,14 @@ [handle-menu-key (lambda (event) (and menu-bar - (begin (send menu-bar on-demand) #t) + (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)))]) (sequence (apply super-init args)))))