]> gitweb.factorcode.org Git - factor.git/commit
ui.tools.listener: enable font increase and decrease.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 24 Mar 2021 04:28:17 +0000 (21:28 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 24 Mar 2021 04:28:17 +0000 (21:28 -0700)
commitd820144c28c7373756aec77684e1cdde317409a3
treeaafa5acdac1d56f8da07252cd73ccac2767fadcd
parentc30d19407427114c662c4ffa35428b4dc13f0a54
ui.tools.listener: enable font increase and decrease.
basis/ui/tools/listener/listener.factor