]> gitweb.factorcode.org Git - factor.git/commit
ui.gadgets.editors: fix page-up/page-down with one line.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 26 May 2020 17:53:16 +0000 (10:53 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 26 May 2020 17:53:16 +0000 (10:53 -0700)
commit130c1d8dd67fb367cfbdaca339310594937e302c
tree276a5bc9566c99c293bc99258c4672264b3e941e
parent8f3ce6f49a2f65bc21a39707abf85ce9f8d69ed2
ui.gadgets.editors: fix page-up/page-down with one line.
basis/ui/gadgets/editors/editors.factor