diff --git a/collects/framework/private/keymap.rkt b/collects/framework/private/keymap.rkt index 665fd05e42..7bd74dbd15 100644 --- a/collects/framework/private/keymap.rkt +++ b/collects/framework/private/keymap.rkt @@ -1419,7 +1419,7 @@ (map "c:g" "hide-search") (map "f3" "unhide search and toggle focus") - (map "c:s" "search forward") + (map "c:s" "unhide search and toggle focus") (map "c:r" "search backward") (case (system-type) [(unix)