]> gitweb.factorcode.org Git - factor.git/commit
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)
commit8c1d95871c63296dd8ceff1d6b8652367a4daecf
treeefa851a8f38b2d789180d15e21e0f49af3fde1cf
parent331dddb8ed37035be9b2869d614a55290f52f2e6
ui.tools.listener: pressing enter should scroll to the bottom.
basis/ui/tools/listener/listener.factor