ui.theme.switching.tools: switch breakpoint symbol

[factor.git] / basis / ui / theme / switching / tools / tools.factor

diff --git a/basis/ui/theme/switching/tools/tools.factor b/basis/ui/theme/switching/tools/tools.factor
index f10a07fd11a4ea4d37cdb3463224b87ce3db1fcf..84ea985f5e0ca625d51e393586ada9e76d42b0ba 100644 (file)
--- a/basis/ui/theme/switching/tools/tools.factor
+++ b/basis/ui/theme/switching/tools/tools.factor
@@ -1,7 +1,8 @@
 USING: assocs fonts help.stylesheet help.tips io.styles kernel
-listener memoize namespaces prettyprint.stylesheet sequences
-ui.gadgets.panes.private ui.theme ui.theme.switching
-ui.tools.listener vectors vocabs.prettyprint words ;
+listener memoize namespaces prettyprint.private
+prettyprint.stylesheet sequences ui.gadgets.panes.private
+ui.theme ui.theme.switching ui.tools.listener vectors
+vocabs.prettyprint words ;
 IN: ui.theme.switching.tools
 
 : update-tools-style ( -- )
@@ -41,9 +42,14 @@ IN: ui.theme.switching.tools
     base-vocab-style dim-color foreground update-style
     base-effect-style stack-effect-color foreground update-style
 
+    ! prettyprint.private
+    \ => "word-style" word-prop
+    [ content-background foreground rot set-at ]
+    [ text-color background rot set-at ] bi
+
     ! vocabs.prettyprint
-    manifest-style vocab-background-color page-color update-style
-    manifest-style vocab-border-color border-color update-style
+    manifest-style code-background-color page-color update-style
+    manifest-style code-border-color border-color update-style
 
     ! ui.gadgets.panes
     \ specified-font reset-memoized