From bf71e736a6356d32080bbeb358cd7f871c202aa8 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 3 Aug 2000 14:35:56 +0000 Subject: [PATCH] . original commit: 043ff422e32c1c4b52bca4566389d39d217b919e --- src/mred/wrap/mred.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/mred/wrap/mred.ss b/src/mred/wrap/mred.ss index 76177e08..33a52ccd 100644 --- a/src/mred/wrap/mred.ss +++ b/src/mred/wrap/mred.ss @@ -1356,7 +1356,9 @@ (public [handle-menu-key (lambda (event) - (and menu-bar (send menu-bar handle-key event)))]) + (and menu-bar + (begin (send menu-bar on-demand) #t) + (send menu-bar handle-key event)))]) (sequence (apply super-init args)))))