]> gitweb.factorcode.org Git - factor.git/commit
ui.theme.switching: track whether we've changed the theme.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 31 Dec 2021 06:29:05 +0000 (22:29 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 31 Dec 2021 06:29:05 +0000 (22:29 -0800)
commitb9406695b0c1bb73cba38c31587bce686a866884
tree14bb6500dc281985ff1f573050f65c16b3bbbec6
parentf87a17338601c07ed4045350601c3fa3c041715d
ui.theme.switching: track whether we've changed the theme.
basis/ui/theme/switching/switching.factor