duplicate-key-event is gone

original commit: 321ba87d0529a781200663c43671c9ae6aad45ff
1997-12-02 16:07:34 +00:00 · 1997-12-02 16:07:34 +00:00 · 7211625ed6
commit 7211625ed6
parent 3880966c43
1 changed files with 1 additions and 2 deletions
--- 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)))