From 6c4ab3dad75e571f1ece4e578c4e8c622bae208f Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Thu, 10 Apr 2008 12:58:23 +0000
Subject: [PATCH] don't allow menu access via shortcuts when then entire menu
 bar is disabled

svn: r9238
---
 collects/mred/private/wxtop.ss | 1 +
 1 file changed, 1 insertion(+)

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)