Fix history/eng.out font setting on sizing and other bug
authorH.G.Muller <hgm@hgm-xboard.(none)>
Wed, 6 Apr 2016 14:44:13 +0000 (16:44 +0200)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Sun, 17 Apr 2016 08:24:58 +0000 (10:24 +0200)
commit4d07dad6e499b01a9dfa75c947558cd15972c49e
treeababb22be4101f51a4bb2842b947ef3c77acabe4
parent3854445a367eb023961ce3834dc01c50dfcef20f
Fix history/eng.out font setting on sizing and other bug

The coord font was set with the historyFont value, and when a valid
font was taken from the fontTable, fontIsSet was not set.
gtk/xboard.c