basis/ui/theme/switching/switching.factor

   1 ! Copyright (C) 2016 Nicolas Pénet.
   2 ! See http://factorcode.org/license.txt for BSD license.
   3 USING: assocs fonts hashtables help.stylesheet help.tips
   4 io.styles kernel listener memoize namespaces
   5 prettyprint.stylesheet sequences ui.gadgets.panes.private
   6 ui.theme ui.tools.listener vocabs.prettyprint words ;
   7 IN: ui.theme.switching
   8
   9 SYMBOL: default-theme?
  10 t default-theme? set-global
  11
  12 <PRIVATE
  13
  14 : update-style ( style color elt -- )
  15     '[ _ _ rot ?set-at ] change-global ;
  16
  17 : update-stylesheet ( -- )
  18     ! fonts
  19     text-color default-font-foreground-color set-global
  20     content-background default-font-background-color set-global
  21
  22     ! ui.gadgets.panes
  23     \ specified-font reset-memoized
  24
  25     ! help.stylesheet
  26     default-style text-color foreground update-style
  27     link-style link-color foreground update-style
  28     title-style title-color foreground update-style
  29     title-style help-header-background page-color update-style
  30     help-path-style text-color foreground update-style
  31     help-path-style help-path-border-color table-border update-style
  32     heading-style heading-color foreground update-style
  33     snippet-style snippet-color foreground update-style
  34     code-style code-background-color page-color update-style
  35     output-style output-color foreground update-style
  36     url-style link-color foreground update-style
  37     warning-style warning-background-color page-color update-style
  38     warning-style warning-border-color border-color update-style
  39     deprecated-style deprecated-background-color page-color update-style
  40     deprecated-style deprecated-border-color border-color update-style
  41     table-style table-border-color table-border update-style
  42
  43     ! help.tips
  44     tip-of-the-day-style tip-background-color page-color update-style
  45
  46     ! ui.tools.listener
  47     listener-input-style text-color foreground update-style
  48     listener-word-style text-color foreground update-style
  49
  50     ! prettyprint.stylesheet
  51     { POSTPONE: USING: POSTPONE: USE: POSTPONE: IN: }
  52     [ "word-style" word-prop [ dim-color foreground  ] dip set-at ] each
  53     base-word-style text-color foreground update-style
  54     highlighted-word-style highlighted-word-color foreground update-style
  55     base-string-style string-color foreground update-style
  56     base-vocab-style dim-color foreground update-style
  57     base-effect-style stack-effect-color foreground update-style
  58
  59     ! listener
  60     prompt-style prompt-background-color background update-style
  61     prompt-style text-color foreground update-style
  62
  63     ! vocabs.prettyprint
  64     manifest-style vocab-background-color page-color update-style
  65     manifest-style vocab-border-color border-color update-style ;
  66
  67 PRIVATE>
  68
  69 : switch-theme ( theme -- )
  70     theme set-global update-stylesheet
  71     f default-theme? set-global ;
  72
  73 : switch-theme-if-default ( theme -- )
  74     default-theme? get [
  75         switch-theme t default-theme? set-global
  76     ] [ drop ] if ;
  77
  78 : light-mode ( -- ) light-theme switch-theme ;
  79
  80 : dark-mode ( -- ) dark-theme switch-theme ;