]> gitweb.factorcode.org Git - factor.git/commit
Margins
authornicolas-p <z.nicolas@gmail.com>
Sat, 18 Jul 2015 11:32:39 +0000 (13:32 +0200)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 16 Aug 2015 14:53:25 +0000 (07:53 -0700)
commit1371cb4090a5d746695d8e6041067084460585ae
treeed2ce0efe4192cb229b38d38547f823e222995bc
parentbf74e394ba006311e59f192316abd3dd234fab1d
Margins

Margins increased in the listener and status bar.
basis/ui/gadgets/status-bar/status-bar.factor
basis/ui/tools/listener/listener.factor