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

svn: r9238
2008-04-10 12:58:23 +00:00 · 2008-04-10 12:58:23 +00:00 · 6c4ab3dad7
commit 6c4ab3dad7
parent 04c27f3a72
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)