]> gitweb.factorcode.org Git - factor.git/commit
ui.theme.switching: split out ui.tools themeing
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 5 Mar 2022 15:01:23 +0000 (07:01 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 5 Mar 2022 15:01:23 +0000 (07:01 -0800)
commit589ea2611f2236dce242b249d50f307e87721473
treedd5463adb20c8aac219920feea21bde90443a6a8
parent3052215fee7721e68b76e846e8b6d0baa3611252
ui.theme.switching: split out ui.tools themeing
basis/ui/theme/switching/switching.factor
basis/ui/theme/switching/tools/tools.factor [new file with mode: 0644]