From 470e0be3e1cc96def1c9a935295323eea521dec3 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Sun, 16 Oct 2011 13:39:15 -0700 Subject: [PATCH] ui.tools.listener: call insert-newline directly. --- basis/ui/tools/listener/listener.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basis/ui/tools/listener/listener.factor b/basis/ui/tools/listener/listener.factor index 0a24a00c25..22d897238f 100644 --- a/basis/ui/tools/listener/listener.factor +++ b/basis/ui/tools/listener/listener.factor @@ -342,7 +342,7 @@ M: object accept-completion-hook 2drop ; : handle-interactive ( lines interactor -- quot/f ? ) [ nip ] [ try-parse ] 2bi { { [ dup quotation? ] [ nip t ] } - { [ dup not ] [ drop "\n" swap user-input* drop f f ] } + { [ dup not ] [ drop insert-newline f f ] } [ handle-parse-error f f ] } cond ;