From 49d4e874c7e31aa52e18f0389ba9a812f2001fd8 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Fri, 11 Jul 2008 15:07:46 -0500 Subject: [PATCH] Fix shift-enter --- extra/ui/gadgets/editors/editors.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extra/ui/gadgets/editors/editors.factor b/extra/ui/gadgets/editors/editors.factor index 8cdc65b388..1732d404ca 100755 --- a/extra/ui/gadgets/editors/editors.factor +++ b/extra/ui/gadgets/editors/editors.factor @@ -480,7 +480,7 @@ multiline-editor "general" f { { T{ key-down f f "ENTER" } insert-newline } } define-command-map -TUPLE: source-editor < editor ; +TUPLE: source-editor < multiline-editor ; : ( -- editor ) source-editor new-editor ;