]> gitweb.factorcode.org Git - factor.git/commit
ui: disable default-theme? for now.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 31 Dec 2021 17:08:22 +0000 (09:08 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 31 Dec 2021 17:08:22 +0000 (09:08 -0800)
commit7136c5673429fdeaab36295cd1d68682627ed871
tree3c192c5c49985c9329aa61150d6d4ba7f3bb536d
parentccbac0d593fcb0e7817ec4a01212e976bbd55d73
ui: disable default-theme? for now.
basis/ui/backend/cocoa/cocoa.factor
basis/ui/backend/cocoa/views/views.factor
basis/ui/theme/switching/switching.factor