changed prefs shortcut to #\, for macosx but this doesnt really affect anything, since the menu is in the app menu, not in the drs menu

svn: r6047 original commit: 340660f1459c8f47547af90040fa0ec101611868
2007-04-26 01:28:44 +00:00 · 2007-04-26 01:28:44 +00:00 · 908adc93ac
commit 908adc93ac
parent 63c8e3b88f
1 changed files with 3 additions and 1 deletions
--- a/collects/framework/private/standard-menus-items.ss
+++ b/collects/framework/private/standard-menus-items.ss
@ -368,7 +368,9 @@
          (make-an-item 'edit-menu 'preferences 
                        '(string-constant preferences-info)
                        '(λ (item control) (preferences:show-dialog) #t)
-                        #\; 
+                        '(case (system-type)
+                           [(macosx) #\,]
+                           [else #\;])
                        '(string-constant preferences-menu-item)
                        on-demand-do-nothing
                        '(not (current-eventspace-has-standard-menus?)))