ui.theme.switching.tools: switch breakpoint symbol
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 10 Aug 2022 21:55:00 +0000 (14:55 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 10 Aug 2022 21:55:19 +0000 (14:55 -0700)
basis/ui/theme/switching/tools/tools.factor

index 7f59f1c27f5eb78120dce94a38e0cffa63fa4514..84ea985f5e0ca625d51e393586ada9e76d42b0ba 100644 (file)
@@ -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,6 +42,11 @@ 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 code-background-color page-color update-style
     manifest-style code-border-color border-color update-style