From: H.G.Muller <hgm@hgm-xboard.(none)>
Date: Tue, 9 Sep 2014 17:39:50 +0000 (+0200)
Subject: Use -gameListFont in Game List
X-Git-Url: http://winboard.nl/cgi-bin?a=commitdiff_plain;h=4817621a565a11aeb400d80984754cbd30072758;p=xboard.git

Use -gameListFont in Game List

Not implemented in a very generic way, but hacked into the code that
added the handler. There aren't many other listboxes that would need
adjustable font.
---

diff --git a/gtk/xoptions.c b/gtk/xoptions.c
index 45ff953..564b865 100644
--- a/gtk/xoptions.c
+++ b/gtk/xoptions.c
@@ -693,6 +693,7 @@ printf("*** selected\n");
 void
 AddHandler (Option *opt, DialogClass dlg, int nr)
 {
+    PangoFontDescription *pfd;
     switch(nr) {
       case 0: // history (now uses generic textview callback)
       case 1: // comment (likewise)
@@ -703,6 +704,8 @@ AddHandler (Option *opt, DialogClass dlg, int nr)
 	g_signal_connect(opt->handle, "key-press-event", G_CALLBACK (TypeInProc), (gpointer) (dlg<<16 | (opt - dialogOptions[dlg])));
 	break;
       case 5: // game list
+        pfd = pango_font_description_from_string(appData.gameListFont);
+        gtk_widget_modify_font(opt->handle, pfd);
 	g_signal_connect(opt->handle, "button-press-event", G_CALLBACK (GameListEvent), (gpointer) 0 );
       case 4: // game-list filter
 	g_signal_connect(opt->handle, "key-press-event", G_CALLBACK (GameListEvent), (gpointer) (intptr_t) nr );