]> gitweb.factorcode.org Git - factor.git/commitdiff
ui.tools.listener: pressing enter should scroll to the bottom.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 4 Mar 2022 04:22:04 +0000 (20:22 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 4 Mar 2022 04:22:04 +0000 (20:22 -0800)
basis/ui/tools/listener/listener.factor

index 96d0eaf4f22717758703f178b366d9a5af1c7fa6..94eef72430f6850ff916bfdaa38eb28135a93e01 100644 (file)
@@ -131,7 +131,7 @@ M: word (print-input)
     ] unless drop ;
 
 : evaluate-input ( interactor -- )
-    dup interactor-busy? [ drop ] [
+    dup interactor-busy? [ scroll>bottom ] [
         [ control-value ] keep interactor-continue
     ] if ;