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<%>