]> gitweb.factorcode.org Git - factor.git/commit
ui.tools.listener: change set-listener-font to modify style-stream.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 24 Mar 2021 05:22:37 +0000 (22:22 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 24 Mar 2021 05:22:37 +0000 (22:22 -0700)
commit413b65b1ce2f559623d6c3c007121cec055f5e02
treefcdf2e8cd45b7609cf87f6b58283240114caabff
parentc6cabf7138142e56417909ed38ea94811f61d799
ui.tools.listener: change set-listener-font to modify style-stream.
basis/ui/tools/listener/listener.factor