From e5215eaa023b393a3333920a9d1ae8f47434c79b Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 7 Aug 2008 11:19:00 +0000 Subject: [PATCH] changed search keybindings svn: r11123 original commit: e2cfa7d9a96a01e4ff81d9573d86a5947c86cd27 --- collects/framework/private/keymap.ss | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/collects/framework/private/keymap.ss b/collects/framework/private/keymap.ss index 8a42dd6f..7682f461 100644 --- a/collects/framework/private/keymap.ss +++ b/collects/framework/private/keymap.ss @@ -1342,9 +1342,7 @@ (map "c:g" "hide-search") (map "f3" "search forward") (map "c:s" "search forward") - (map "c:r" "replace & search forward") - (map "c:s:s" "search backward") - (map "c:s:r" "replace & search backward") + (map "c:r" "search backward") (case (system-type) [(unix) (map-meta "%" "search forward")])))))