]> gitweb.factorcode.org Git - factor.git/commit
ui.tools.listener: dumb hack to set listener font
authorJoe Groff <arcata@gmail.com>
Sun, 4 Mar 2012 21:07:58 +0000 (13:07 -0800)
committerJoe Groff <arcata@gmail.com>
Sun, 4 Mar 2012 21:08:22 +0000 (13:08 -0800)
commit24ca1b02b7588639e91bcd2eb98972facf6b03c0
treefe645b5b104b229bf666ab664201eb5e5221c85a
parent7a07e8742c9c492a04d108879628f9fc1264fa16
ui.tools.listener: dumb hack to set listener font
basis/ui/tools/listener/listener.factor