.

original commit: 043ff422e32c1c4b52bca4566389d39d217b919e
2000-08-03 14:35:56 +00:00 · 2000-08-03 14:35:56 +00:00 · bf71e736a6
commit bf71e736a6
parent 03855a6b1b
1 changed files with 3 additions and 1 deletions
--- 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)))))