From b50316679a03e82eddf863aed38dc79fc1edcc65 Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Thu, 11 Nov 2010 18:59:25 -0700 Subject: [PATCH] macro-stepper: map "s" and "h" keys to show and hide selected identifier original commit: 7dcd0d408c2d7e6f7034320f30280c799fa25416 --- collects/macro-debugger/view/extensions.rkt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/collects/macro-debugger/view/extensions.rkt b/collects/macro-debugger/view/extensions.rkt index e397339..9c6f240 100644 --- a/collects/macro-debugger/view/extensions.rkt +++ b/collects/macro-debugger/view/extensions.rkt @@ -19,6 +19,7 @@ (inherit-field config controller) (inherit add-function + map-function call-function) (define show-macro #f) @@ -29,6 +30,9 @@ (define/public (get-hiding-panel) (send/i macro-stepper widget<%> get-macro-hiding-prefs)) + (map-function ":s" "hiding:show-macro") + (map-function ":h" "hiding:hide-macro") + (add-function "hiding:show-macro" (lambda (i e) (send*/i (get-hiding-panel) hiding-prefs<%>