X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=gtk%2Fxoptions.c;h=3a29431e965f7b2cb1d71aa338d4c02d1d55a8fc;hb=406c6ab4dfbef3ace867dbe2ffd54072e4e48113;hp=c4c4bd73990bf8cd10daedaf744d6f90182ec784;hpb=d57379116670e685638d980aa8432b3371f70f0a;p=xboard.git

diff --git a/gtk/xoptions.c b/gtk/xoptions.c
index c4c4bd7..3a29431 100644
--- a/gtk/xoptions.c
+++ b/gtk/xoptions.c
@@ -615,6 +615,11 @@ AppendColorized (Option *opt, char *s, int count)
     static GtkTextIter end;
     static GtkTextTag *fgTags[8], *bgTags[8], *font, *bold, *normal, *attr = NULL;
 
+    if(!s) {
+	font = NULL;
+	return;
+    }
+
     if(!font) {
 	font = gtk_text_buffer_create_tag(opt->handle, NULL, "font", appData.icsFont, NULL);
 	gtk_widget_modify_base(GTK_WIDGET(opt->textValue), GTK_STATE_NORMAL, &backgroundColor);