From 9db206b231b0fbb186e56708b631f6dd0d90547d Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 29 Nov 2011 18:43:37 -0600 Subject: [PATCH] add in keymap mixin --- collects/redex/private/size-snip.rkt | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/collects/redex/private/size-snip.rkt b/collects/redex/private/size-snip.rkt index 5ca26fd130..bbaca25a55 100644 --- 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%))))))))