From 03c59f6df91be7043439e9079503657327a6c879 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 1 Sep 2011 10:06:26 -0500 Subject: [PATCH] adjust keybindings to free up -r for "Run" and -t for "New Tab" original commit: 8f6fb875975eac3782b84e984f416257002aec6d --- collects/framework/private/standard-menus-items.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/framework/private/standard-menus-items.rkt b/collects/framework/private/standard-menus-items.rkt index 74769ec4..315ae51e 100644 --- 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)