From: H.G. Muller <h.g.muller@hccnet.nl>
Date: Tue, 30 Oct 2012 14:04:32 +0000 (+0100)
Subject: Fix clock highlighting
X-Git-Url: http://winboard.nl/cgi-bin?a=commitdiff_plain;h=e6df7a018a00f4f5ed8c20882af27c9033d6aa5b;p=xboard.git

Fix clock highlighting
---

diff --git a/gtk/xboard.c b/gtk/xboard.c
index ba49200..38ecb2d 100644
--- a/gtk/xboard.c
+++ b/gtk/xboard.c
@@ -1817,6 +1817,7 @@ void
 DisplayTimerLabel (Option *opt, char *color, long timer, int highlight)
 {
     GtkWidget *w = (GtkWidget *) opt->handle;
+    GdkColor col;
     char *markup;
     char bgcolor[10];
     char fgcolor[10];
@@ -1834,6 +1835,9 @@ DisplayTimerLabel (Option *opt, char *color, long timer, int highlight)
         strcpy(fgcolor, appData.lowTimeWarningColor);
     }
 
+    gdk_color_parse( bgcolor, &col );
+    gtk_widget_modify_bg(gtk_widget_get_parent(opt->handle), GTK_STATE_NORMAL, &col);
+
     if (appData.clockMode) {
         markup = g_markup_printf_escaped("<span size=\"xx-large\" weight=\"heavy\" background=\"%s\" foreground=\"%s\">%s:%s%s</span>",
 					 bgcolor, fgcolor, color, appData.logoSize && !partnerUp ? "\n" : " ", TimeString(timer));