Fix GTK fonts
authorH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 9 Sep 2014 18:51:54 +0000 (20:51 +0200)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 9 Sep 2014 18:51:54 +0000 (20:51 +0200)
commit851f1a95960b259694be062409459d1bed39c787
tree9b101eccb56f5b3b32a56db4a1b9eb956506908e
parent24b15367908445cfb5c7bcce33587d2f666faf89
Fix GTK fonts
gtk/xboard.c