]> gitweb.factorcode.org Git - factor.git/commit
projects / factor.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a155e0) | patch
ui.theme.switching: adding concept of default-theme?.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 1 Jan 2022 04:19:26 +0000 (20:19 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 1 Jan 2022 04:19:26 +0000 (20:19 -0800)
commit4899a375aec36b49c2ba2f45a80fb5d2386c58bc
tree8fb024f1d537d034bfb16ce08232878139901e71tree | snapshot
parent9a155e0b487dd2e0ba5444930887f287999a9cdfcommit | diff
ui.theme.switching: adding concept of default-theme?.

If the default-theme? flag is false it means someone set a theme
manually. We can use this to not override when the system appearance
changes.
basis/ui/backend/cocoa/cocoa.factor diff | blob | history
basis/ui/backend/cocoa/views/views.factor diff | blob | history
basis/ui/theme/switching/switching.factor diff | blob | history
Factor programming language