Fix SetWidgetFont GTK
authorH.G.Muller <hgm@hgm-xboard.(none)>
Wed, 10 Sep 2014 11:51:44 +0000 (13:51 +0200)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Wed, 10 Sep 2014 16:54:06 +0000 (18:54 +0200)
commit1c1d94343c5cb54122a5fe5fe46b1569437261e4
tree2f8df0bb764a1ccc9ce67405078d31d0c396d0d7
parente5def9697edb19cb56e4ef3de341168c598e42bb
Fix SetWidgetFont GTK

This was testing for an empty font spec in the wrong way, with as a side
effect that some pointers to font strings would be interpreted as colors.
gtk/xoptions.c