]> gitweb.factorcode.org Git - factor.git/commit
ui.tools.listener: change previous/next line to multiline-editor.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 6 Jun 2020 23:47:30 +0000 (16:47 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 6 Jun 2020 23:47:30 +0000 (16:47 -0700)
commit35681032d9a615db4e2b5b1646fc2bcf64f401b0
treef701edc65ee3d186eace6aede492e4dba0608134
parent02386eebcc9104acff36a8fb3b1322047b170908
ui.tools.listener: change previous/next line to multiline-editor.
basis/ui/tools/listener/listener-docs.factor