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

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