105de8a2b5d56b2af6e7327e1be1da2dedeeee64
5 # TODO: Get theme-appropriate font and colors from some central config file.
10 FONT
="$FONT_NAME:pixelsize=$FONT_SIZE:antialias=true:autohint=true"
13 BG_SELECTED
="$BG_NORM"
This page took 0.075539 seconds and 4 git commands to generate.