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)
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.


No differences found