From 908adc93acb642c2bf45ef1aea579f558a548ed8 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 26 Apr 2007 01:28:44 +0000 Subject: [PATCH] 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 --- collects/framework/private/standard-menus-items.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/framework/private/standard-menus-items.ss b/collects/framework/private/standard-menus-items.ss index 9046544b..ef956071 100644 --- 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?)))