]> gitweb.factorcode.org Git - factor.git/commit
projects / factor.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f8dd0a9) | patch
ui.tools: change scrolling behavior
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 3 Mar 2022 22:53:34 +0000 (14:53 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 3 Mar 2022 22:53:34 +0000 (14:53 -0800)
commitcdb49f27c6bbae5e8c3f79c3400f1b751b5cccf3
tree216170f9ea78f3e5e4f3fe50440e74089bbf8d3btree | snapshot
parentf8dd0a982eb634af8564b7691c77ba63f1a1d846commit | diff
ui.tools: change scrolling behavior

When we are already to the bottom, keep scrolling to show new input.

When we are not, just add the input and keep the scroll position.
basis/ui/gadgets/panes/panes.factor diff | blob | history
basis/ui/tools/listener/listener.factor diff | blob | history
Factor programming language