]> gitweb.factorcode.org Git - factor.git/commit
ui.gadgets.editors: fix page-up/page-down behavior.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 27 May 2020 18:43:29 +0000 (11:43 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 27 May 2020 18:43:29 +0000 (11:43 -0700)
commitc781933d6b1cb26d62958683060974bdfec32242
tree0eaee5c217e547d237cd23e41c25cca054fe22ee
parentf2189a32f4e8e1de467909ad5c899cee9ff9100d
ui.gadgets.editors: fix page-up/page-down behavior.
basis/ui/gadgets/editors/editors.factor