Fix the alt menu conflict in a simple way,

suitable for the release branch
2014-01-03 18:10:38 -05:00 · 2014-01-03 18:10:38 -05:00 · 14a8299e87
commit 14a8299e87
parent 0cfeae7a30
1 changed files with 3 additions and 1 deletions
--- a/pkgs/drracket-pkgs/drracket/drracket/private/main.rkt
+++ b/pkgs/drracket-pkgs/drracket/drracket/private/main.rkt
@ -755,8 +755,10 @@
                          (send frame next-tab))))])
     
     (define mprefix (case (system-type)
-                       [(windows unix)
+                       [(windows)
                        (list* 'alt 'shift (get-default-shortcut-prefix))]
+                       [(unix)
+                        (remove-duplicates (list* 'alt 'shift (get-default-shortcut-prefix)))]
                       [(macosx)
                        (list* 'option (get-default-shortcut-prefix))]))