add in keymap mixin

2011-11-29 18:43:37 -06:00 · 2011-11-29 18:43:37 -06:00 · 9db206b231
commit 9db206b231
parent dd4f307a47
1 changed files with 6 additions and 5 deletions
--- a/collects/redex/private/size-snip.rkt
+++ b/collects/redex/private/size-snip.rkt
@ -180,9 +180,10 @@
 (define size-text%
  (scheme:set-mode-mixin
   (scheme:text-mixin
-    (color:text-mixin
-     (text:autocomplete-mixin
-      (mode:host-text-mixin
-       (editor:standard-style-list-mixin
-        text:basic%)))))))
+    (editor:keymap-mixin
+     (color:text-mixin
+      (text:autocomplete-mixin
+       (mode:host-text-mixin
+        (editor:standard-style-list-mixin
+         text:basic%))))))))