adjust keybindings to free up <menukey>-r for "Run" and <menukey>-t for "New Tab"

original commit: 8f6fb875975eac3782b84e984f416257002aec6d
2011-09-01 10:06:26 -05:00 · 2011-09-01 10:06:26 -05:00 · 03c59f6df9
commit 03c59f6df9
parent 86767f1454
1 changed files with 2 additions and 2 deletions
--- a/collects/framework/private/standard-menus-items.rkt
+++ b/collects/framework/private/standard-menus-items.rkt
@ -387,8 +387,8 @@
        (make-an-item 'edit-menu 'replace
                      '(string-constant replace-info)
                      '(λ (item control) (void))
-                      #\r
-                      '(get-default-shortcut-prefix)
+                      #\f
+                      '(cons 'shift (get-default-shortcut-prefix))
                      '(string-constant replace-menu-item)
                      on-demand-do-nothing
                      #f)