steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

ui.tools.listener: call insert-newline directly.

John Benediktsson 2011-10-16 13:39:15 -07:00
parent 2199b486da
commit 902cb51806
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
basis/ui/tools/listener/listener.factor
View File

@ -342,7 +342,7 @@ M: object accept-completion-hook 2drop ;
: handle-interactive ( lines interactor -- quot/f ? ) : handle-interactive ( lines interactor -- quot/f ? )
[ nip ] [ try-parse ] 2bi { [ nip ] [ try-parse ] 2bi {
{ [ dup quotation? ] [ nip t ] } { [ 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 ] [ handle-parse-error f f ]
} cond ; } cond ;