From 25e4115f32e8b52ea5d73c794f3eb8212873a100 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 16 Aug 2012 19:15:07 -0500 Subject: [PATCH] give the f2 keybinding a more useful name (since it shows up in the keybindigns dialog box) --- collects/drracket/private/syncheck/gui.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/drracket/private/syncheck/gui.rkt b/collects/drracket/private/syncheck/gui.rkt index ed59ee992f..f668cab32a 100644 --- a/collects/drracket/private/syncheck/gui.rkt +++ b/collects/drracket/private/syncheck/gui.rkt @@ -2025,10 +2025,10 @@ If the namespace does not, they are colored the unbound color. (send keymap map-function "c:x;n" "jump to next bound occurrence") (send keymap map-function "c:x;d" "jump to definition (in other file)") - (send keymap add-function "f2 docs" + (send keymap add-function "show/hide blue boxes in upper-right corner" (λ (txt evt) (send txt toggle-syncheck-docs))) - (send keymap map-function "f2" "f2 docs")) + (send keymap map-function "f2" "show/hide blue boxes in upper-right corner")) ;; find-syncheck-text : text% -> (union #f (is-a?/c syncheck-text<%>)) (define (find-syncheck-text text)