diff --git a/collects/framework/private/standard-menus-items.rkt b/collects/framework/private/standard-menus-items.rkt index 1e4ac97c..557b3e1c 100644 --- a/collects/framework/private/standard-menus-items.rkt +++ b/collects/framework/private/standard-menus-items.rkt @@ -363,11 +363,12 @@ (make-an-item 'edit-menu 'find-from-selection '(string-constant find-info) '(λ (item control) (void)) - #\f - '(cons (if (eq? (system-type) 'macosx) - 'option - 'alt ) - (get-default-shortcut-prefix)) + '(if (eq? (system-type) 'macosx) + #\f + #f) + '(if (eq? (system-type) 'macosx) + (cons 'option (get-default-shortcut-prefix)) + (get-default-shortcut-prefix)) '(string-constant find-from-selection-menu-item) edit-menu:edit-target-on-demand #f)