]> gitweb.factorcode.org Git - factor.git/commit
ui.theme.switching: reset ui.gadgets.panes fonts.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 1 Jan 2022 01:55:10 +0000 (17:55 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 1 Jan 2022 01:56:30 +0000 (17:56 -0800)
commita50e4ea52dc956c8b5c5d25e43e5844e4ba4a301
tree078f30220ed1c1436b3af5af3f82e52fbe70a10e
parent8ac952134e273854594feb4c6166156ef55ca706
ui.theme.switching: reset ui.gadgets.panes fonts.
basis/ui/theme/switching/switching.factor