X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=blobdiff_plain;f=basis%2Fui%2Ftheme%2Fswitching%2Ftools%2Ftools.factor;h=84ea985f5e0ca625d51e393586ada9e76d42b0ba;hp=7f59f1c27f5eb78120dce94a38e0cffa63fa4514;hb=343b55287be590fdf59d0a532291937b1635dd2c;hpb=83edaae835d9cb16ac469d2c2e3181e3e3e663ac 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