don't allow menu access via shortcuts when then entire menu bar is disabled

svn: r9238 original commit: 6c4ab3dad75e571f1ece4e578c4e8c622bae208f
2008-04-10 12:58:23 +00:00 · 2008-04-10 12:58:23 +00:00 · 44c7e9df8d
commit 44c7e9df8d
parent 721914ff90
1 changed files with 1 additions and 0 deletions
--- 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)