From fae5c4d7152788cbe63069bdb97f6c2df5ec08ee Mon Sep 17 00:00:00 2001
From: H.G.Muller <hgm@hgm-xboard.(none)>
Date: Wed, 6 Apr 2016 14:38:43 +0200
Subject: [PATCH] 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 |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

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<NUM_SIZES; i++) // [HGM] font: current font becomes standard for current size
     if(sizeDefaults[i].squareSize == initialSquareSize) { // only for standard sizes!
-	fontTable[n][initialSquareSize] = strdup(name);
+	ASSIGN(fontTable[n][initialSquareSize], name);
 	fontValid[n][initialSquareSize] = True;
 	break;
   }
-- 
1.7.0.4