Only save fonts that are not defaults
authorH.G.Muller <hgm@hgm-xboard.(none)>
Wed, 6 Apr 2016 12:38:43 +0000 (14:38 +0200)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Sun, 17 Apr 2016 08:24:58 +0000 (10:24 +0200)
commitfae5c4d7152788cbe63069bdb97f6c2df5ec08ee
tree181ad4cdec5f20cb24c87a9fcf88ba2d7b9f84a6
parentbf5b3665f905ef0c595b2eed408b9798e409a21d
Only save fonts that are not defaults

When the font in use is a (size-adapted) default, we don't save
it in the settings file.
gtk/xboard.c