From 7e27cc5331ca89c1825f28630ee5599af0106dc6 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 20 Sep 2011 16:11:07 -0500 Subject: [PATCH] adjust the order in which the keymaps are added to the interactions window so that repl-specific bindings override the general purpose drracket editor bindings --- collects/drracket/private/rep.rkt | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/collects/drracket/private/rep.rkt b/collects/drracket/private/rep.rkt index 8c4ea5368c..8283951268 100644 --- a/collects/drracket/private/rep.rkt +++ b/collects/drracket/private/rep.rkt @@ -292,7 +292,7 @@ TODO (mixin (editor:keymap<%>) (editor:keymap<%>) (define/override (get-keymaps) (editor:add-after-user-keymap drs-bindings-keymap (super get-keymaps))) - (super-instantiate ()))) + (super-new))) ;; Max length of output queue (user's thread blocks if the ;; queue is full): @@ -2032,8 +2032,14 @@ TODO (super-new)))) (define -text% - (drs-bindings-keymap-mixin - (text-mixin + (text-mixin + ;; drs-bindings-keymap-mixin has to come + ;; before text-mixin so that the keymaps + ;; get added in the right order (specifically + ;; so that esc;n and esc;p work right in the + ;; repl (prev and next interaction) and in the defs + ;; (previous and next error)) + (drs-bindings-keymap-mixin (text:ports-mixin (scheme:text-mixin (color:text-mixin