From: H.G.Muller Date: Wed, 6 Apr 2016 12:38:43 +0000 (+0200) Subject: Only save fonts that are not defaults X-Git-Url: http://winboard.nl/cgi-bin?p=xboard.git;a=commitdiff_plain;h=fae5c4d7152788cbe63069bdb97f6c2df5ec08ee 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. --- diff --git a/gtk/xboard.c b/gtk/xboard.c index 6fd5ea4..5498622 100644 --- a/gtk/xboard.c +++ b/gtk/xboard.c @@ -527,9 +527,10 @@ SaveFontArg (FILE *f, ArgDescriptor *ad) default: return; } + if(fontIsSet[n]) // only save fonts that were not defaults for(i=0; i