basis/ui/theme/switching/tools/tools.factor

   1 USING: assocs fonts help.stylesheet help.tips io.styles kernel
   2 listener memoize namespaces prettyprint.private
   3 prettyprint.stylesheet sequences ui.gadgets.panes.private
   4 ui.theme ui.theme.switching ui.tools.listener vectors
   5 vocabs.prettyprint words ;
   6 IN: ui.theme.switching.tools
   7
   8 : update-tools-style ( -- )
   9     ! fonts
  10     text-color default-font-foreground-color set-global
  11     content-background default-font-background-color set-global
  12
  13     ! help.stylesheet
  14     default-style text-color foreground update-style
  15     link-style link-color foreground update-style
  16     title-style title-color foreground update-style
  17     title-style help-header-background page-color update-style
  18     help-path-style text-color foreground update-style
  19     help-path-style help-path-border-color table-border update-style
  20     heading-style heading-color foreground update-style
  21     snippet-style snippet-color foreground update-style
  22     code-style code-background-color page-color update-style
  23     code-style code-border-color border-color update-style
  24     code-style text-color foreground update-style
  25     output-style output-color foreground update-style
  26     url-style link-color foreground update-style
  27     warning-style warning-background-color page-color update-style
  28     warning-style warning-border-color border-color update-style
  29     deprecated-style deprecated-background-color page-color update-style
  30     deprecated-style deprecated-border-color border-color update-style
  31     table-style table-border-color table-border update-style
  32
  33     ! help.tips
  34     tip-of-the-day-style tip-background-color page-color update-style
  35
  36     ! prettyprint.stylesheet
  37     { POSTPONE: USING: POSTPONE: USE: POSTPONE: IN: }
  38     [ "word-style" word-prop [ dim-color foreground  ] dip set-at ] each
  39     base-word-style text-color foreground update-style
  40     highlighted-word-style highlighted-word-color foreground update-style
  41     base-string-style string-color foreground update-style
  42     base-vocab-style dim-color foreground update-style
  43     base-effect-style stack-effect-color foreground update-style
  44
  45     ! prettyprint.private
  46     \ => "word-style" word-prop
  47     [ content-background foreground rot set-at ]
  48     [ text-color background rot set-at ] bi
  49
  50     ! vocabs.prettyprint
  51     manifest-style code-background-color page-color update-style
  52     manifest-style code-border-color border-color update-style
  53
  54     ! ui.gadgets.panes
  55     \ specified-font reset-memoized
  56
  57     ! ui.tools.listener
  58     listener-input-style text-color foreground update-style
  59     listener-word-style text-color foreground update-style
  60
  61     ! listener
  62     prompt-style prompt-background-color background update-style
  63     prompt-style text-color foreground update-style ;
  64
  65 \ update-stylesheet [ \ update-tools-style swap ?push ] change-global