Use -gameListFont in Game List
authorH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 9 Sep 2014 17:39:50 +0000 (19:39 +0200)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 9 Sep 2014 17:39:50 +0000 (19:39 +0200)
commit4817621a565a11aeb400d80984754cbd30072758
treefe96212fa4612a7cca6967b36609b2b68c33bd9a
parentca218df6e665995a11015980f86003d915de9812
Use -gameListFont in Game List

Not implemented in a very generic way, but hacked into the code that
added the handler. There aren't many other listboxes that would need
adjustable font.
gtk/xoptions.c