ui.theme.switching: track whether we've changed the theme.

diff --git a/basis/ui/theme/switching/switching.factor b/basis/ui/theme/switching/switching.factor
index 46b90b6253f4a4a5c09826f9e416665257527ebd..e2f4f2b46b0ead47ea6a08d3dbbf6c0cfe65dcea 100644 (file)
--- a/basis/ui/theme/switching/switching.factor
+++ b/basis/ui/theme/switching/switching.factor
@@ -5,6 +5,9 @@ io.styles kernel listener namespaces prettyprint.stylesheet
 sequences ui.theme ui.tools.listener vocabs.prettyprint words ;
 IN: ui.theme.switching
 
+SYMBOL: default-theme?
+t default-theme? set-global
+
 <PRIVATE
 
 : update-style ( style color elt -- )
@@ -59,7 +62,8 @@ IN: ui.theme.switching
 PRIVATE>
 
 : switch-theme ( theme -- )
-    theme set-global update-stylesheet ;
+    theme set-global update-stylesheet
+    f default-theme? set-global ;
 
 : light-mode ( -- ) light-theme switch-theme ;