From: H.G.Muller <hgm@hgm-xboard.(none)>
Date: Sun, 13 Mar 2016 09:51:49 +0000 (+0100)
Subject: Uncomment line commentized for debugging purposes
X-Git-Url: http://winboard.nl/cgi-bin?a=commitdiff_plain;h=620be4d3e178fcec229b80f7af5bb1804d6bcb86;p=xboard.git

Uncomment line commentized for debugging purposes

The call attaching help clicks to Label Options was still commented out.
---

diff --git a/gtk/xoptions.c b/gtk/xoptions.c
index e9e7a0a..a4ed725 100644
--- a/gtk/xoptions.c
+++ b/gtk/xoptions.c
@@ -1493,7 +1493,7 @@ if(appData.debugMode) printf("n=%d, h=%d, w=%d\n",n,height,width);
 		gtk_widget_add_events(GTK_WIDGET(label), GDK_BUTTON_PRESS_MASK);
 		if(option[i].target)
 		     g_signal_connect(label, "button-press-event", G_CALLBACK(MemoEvent), (gpointer) &option[i]);
-//		else g_signal_connect(label, "button-press-event", G_CALLBACK(HelpEvent), (gpointer) option[i].name);
+		else g_signal_connect(label, "button-press-event", G_CALLBACK(HelpEvent), (gpointer) option[i].name);
 		gtk_widget_set_sensitive(label, TRUE);
 	    }
             Pack(hbox, table, label, left, left+r, top, 0);