From eba9c56d8cd7ea14485d9ad0be4586586b4aa36f Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 25 Jul 2011 13:33:21 -0400 Subject: [PATCH] adjust the control-s keybinding so that it behaves like the menu shortcut keep the old keybinding on esc;% (only under linux) --- collects/framework/private/keymap.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)