83fb039a3faf480a7e4428b646d0878f1b679e72
5 # TODO: Get theme-appropriate font and colors from some central config file.
9 FONT
="$FONT_NAME:pixelsize=$FONT_SIZE:antialias=false:autohint=true"
12 BG_SELECTED
="$BG_NORM"
This page took 0.068543 seconds and 4 git commands to generate.