]> gitweb.factorcode.org Git - factor.git/commit
Added prompt style and tip style in switching
authornicolas-p <z.nicolas@gmail.com>
Fri, 6 May 2016 05:45:44 +0000 (07:45 +0200)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 10 May 2016 04:40:56 +0000 (21:40 -0700)
commit94d9bf8c88722b456cfa12d16d1615b046f4683e
treec315f0792b397bba58d5e4f2ff44531a529f15b1
parentd2e645b5a21821425a2f2495a4783d2b06ce79be
Added prompt style and tip style in switching
basis/listener/listener.factor
basis/ui/gadgets/theme/switching/switching.factor