diff --git a/collects/mred/private/wxtop.ss b/collects/mred/private/wxtop.ss
index c0a2c54aeb..050218c3a4 100644
--- a/collects/mred/private/wxtop.ss
+++ b/collects/mred/private/wxtop.ss
@@ -709,6 +709,7 @@
 	 [handle-menu-key
 	  (lambda (event)
 	    (and menu-bar 
+                 (send menu-bar all-enabled?)
 		 ;; It can't be a menu event without a
 		 ;; control, meta, alt key, or function key
 		 (or (send event get-control-down)