From: H.G. Muller <h.g.muller@hccnet.nl>
Date: Mon, 18 Feb 2013 20:01:35 +0000 (+0100)
Subject: Fix title of top-level windows
X-Git-Url: http://winboard.nl/cgi-bin?a=commitdiff_plain;h=7d3335b93cb3e238d0a4dc2b8302ebc339f2af51;p=xboard.git

Fix title of top-level windows
---

diff --git a/gtk/xoptions.c b/gtk/xoptions.c
index 00e0d5d..d488496 100644
--- a/gtk/xoptions.c
+++ b/gtk/xoptions.c
@@ -1136,6 +1136,7 @@ printf("n=%d, h=%d, w=%d\n",n,height,width);
     if(topLevel)
       {
 	dialog = gtk_window_new(GTK_WINDOW_TOPLEVEL);
+	gtk_window_set_title(dialog, title);
 	box = gtk_vbox_new(FALSE,0);
 	gtk_container_add (GTK_CONTAINER (dialog), box);
       }