diff --git a/collects/mred/keys.ss b/collects/mred/keys.ss index 75d5df78..5b7eeff2 100644 --- a/collects/mred/keys.ss +++ b/collects/mred/keys.ss @@ -684,8 +684,7 @@ (set! build-protect? #f))) (when building-macro (set! building-macro - (cons (cons name - (duplicate-key-event event)) + (cons (cons name event) building-macro))) #t)) (send km set-break-sequence-callback done)))