]> gitweb.factorcode.org Git - factor.git/commit
Using filled-border in status bar
authornicolas-p <z.nicolas@gmail.com>
Tue, 21 Jul 2015 19:20:36 +0000 (21:20 +0200)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 16 Aug 2015 14:53:28 +0000 (07:53 -0700)
commit48376ff10cfd404d871aeb7afa1d60c5e5e0aa84
tree43cae4761c1dc2169de9abd10e5c28c50e26da76
parent547ca698d8efafac7875beff4c3fcb678db909e8
Using filled-border in status bar
basis/ui/gadgets/status-bar/status-bar.factor