ui.theme.switching: add a switch-theme word.

diff --git a/basis/ui/theme/switching/switching.factor b/basis/ui/theme/switching/switching.factor
index 786ee6e6986c5253c867eb286dbd75bb4e12795e..ef36c58bf378c24de508e387e77469a2e45cd5f9 100644 (file)
--- a/basis/ui/theme/switching/switching.factor
+++ b/basis/ui/theme/switching/switching.factor
@@ -5,53 +5,53 @@ kernel listener namespaces prettyprint.stylesheet sequences
 ui.theme ui.tools.listener vocabs.prettyprint words ;
 IN: ui.theme.switching
 
-: (update-style) ( style color elt -- )
+<PRIVATE
+
+: update-style ( style color elt -- )
     '[ _ _ rot ?set-at ] change-global ;
 
 : update-stylesheet ( -- )
-
     ! help.stylesheet
-    default-span-style text-color foreground (update-style)
-    link-style link-color foreground (update-style)
-    title-style title-color foreground (update-style)
-    help-path-style help-path-border-color table-border (update-style)
-    heading-style heading-color foreground (update-style)
-    snippet-style snippet-color foreground (update-style)
-    code-style code-background-color page-color (update-style)
-    output-style output-color foreground (update-style)
-    url-style link-color foreground (update-style)
-    warning-style warning-background-color page-color (update-style)
-    warning-style warning-border-color border-color (update-style)
-    deprecated-style deprecated-background-color page-color (update-style)
-    deprecated-style deprecated-border-color border-color (update-style)
-    table-style table-border-color table-border (update-style)
+    default-span-style text-color foreground update-style
+    link-style link-color foreground update-style
+    title-style title-color foreground update-style
+    help-path-style help-path-border-color table-border update-style
+    heading-style heading-color foreground update-style
+    snippet-style snippet-color foreground update-style
+    code-style code-background-color page-color update-style
+    output-style output-color foreground update-style
+    url-style link-color foreground update-style
+    warning-style warning-background-color page-color update-style
+    warning-style warning-border-color border-color update-style
+    deprecated-style deprecated-background-color page-color update-style
+    deprecated-style deprecated-border-color border-color update-style
+    table-style table-border-color table-border update-style
 
     ! help.tips
-    tip-of-the-day-style tip-background-color page-color (update-style)
+    tip-of-the-day-style tip-background-color page-color update-style
 
     ! ui.tools.listener
-    listener-input-style text-color foreground (update-style)
-    listener-word-style text-color foreground (update-style)
+    listener-input-style text-color foreground update-style
+    listener-word-style text-color foreground update-style
 
     ! prettyprint.stylesheet
     { POSTPONE: USING: POSTPONE: USE: POSTPONE: IN: }
     [ "word-style" word-prop [ dim-color foreground  ] dip set-at ] each
-    base-word-style text-color foreground (update-style)
-    highlighted-word-style highlighted-word-color foreground (update-style)
-    base-string-style string-color foreground (update-style)
-    base-vocab-style dim-color foreground (update-style)
-    stack-effect-style stack-effect-color foreground (update-style)
+    base-word-style text-color foreground update-style
+    highlighted-word-style highlighted-word-color foreground update-style
+    base-string-style string-color foreground update-style
+    base-vocab-style dim-color foreground update-style
+    stack-effect-style stack-effect-color foreground update-style
 
     ! listener
-    prompt-style prompt-background-color background (update-style)
-    prompt-style text-color foreground (update-style)
+    prompt-style prompt-background-color background update-style
+    prompt-style text-color foreground update-style
 
     ! vocabs.prettyprint
-    manifest-style vocab-background-color page-color (update-style)
-    manifest-style vocab-border-color border-color (update-style) ;
+    manifest-style vocab-background-color page-color update-style
+    manifest-style vocab-border-color border-color update-style ;
 
-: light-mode ( -- )
-    light-theme theme set-global update-stylesheet ;
+PRIVATE>
 
-: dark-mode ( -- )
-    dark-theme theme set-global update-stylesheet ;
+: switch-theme ( theme -- )
+    theme set-global update-stylesheet ;