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")])))))