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)
When the font in use is a (size-adapted) default, we don't save
it in the settings file.


No differences found