From fbd17e8f4bb8e5be115fdc1bfeff2f6ae5170cd0 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 22 Jul 2007 17:25:01 +0000 Subject: [PATCH] changed a keymap to an aug-keymap svn: r6947 --- collects/profj/tool.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/profj/tool.ss b/collects/profj/tool.ss index 3ee45c4e59..ae225d19cf 100644 --- a/collects/profj/tool.ss +++ b/collects/profj/tool.ss @@ -78,7 +78,7 @@ (token-sym->style short-sym->style-name))) - (define java-keymap (new keymap%)) + (define java-keymap (new keymap:aug-keymap%)) (send java-keymap add-function "do-return" (λ (edit event) (send edit do-return))) (send java-keymap map-function "return" "do-return") (send java-keymap map-function "s:return" "do-return")