]> gitweb.factorcode.org Git - factor.git/commit
ui.tools.browser: adding +/- font size commands.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 7 Aug 2012 19:28:45 +0000 (12:28 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 7 Aug 2012 19:28:45 +0000 (12:28 -0700)
commitf94853c8b70b4af4aa51aaa67146375c7bdff62f
tree29c490428b20025adb28567440df3ad341c2984e
parent7e616a4d55787621e3b6a4adb6e213a7727ce857
ui.tools.browser: adding +/- font size commands.
basis/ui/tools/browser/browser.factor