From 343b55287be590fdf59d0a532291937b1635dd2c Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Wed, 10 Aug 2022 14:55:00 -0700 Subject: [PATCH] ui.theme.switching.tools: switch breakpoint symbol --- basis/ui/theme/switching/tools/tools.factor | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/basis/ui/theme/switching/tools/tools.factor b/basis/ui/theme/switching/tools/tools.factor index 7f59f1c27f..84ea985f5e 100644 --- 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,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 -- 2.34.1