# HG changeset patch
# User bsmith@81767d24-ef19-dc11-ae90-00e081727c95
# Date 1052553249 0
# Node ID 6a3ef130962f6d3d8b31aa0d35a40caa185bbc86
# Parent  0f0183aa2b05f00a4d3793d2c522a8197d56e5d3
Check that the child is actually a label before trying to operate on it.
Will avoid warnings on bitmap buttons.

diff -r 0f0183aa2b05 -r 6a3ef130962f gtk/dw.c
--- a/gtk/dw.c	Sat May 10 07:35:38 2003 +0000
+++ b/gtk/dw.c	Sat May 10 07:54:09 2003 +0000
@@ -2824,7 +2824,12 @@
 	else if(GTK_IS_LABEL(handle))
 		gtk_label_set_text(GTK_LABEL(handle), text);
 	else if(GTK_IS_BUTTON(handle))
-		gtk_label_set_text(GTK_LABEL(GTK_BUTTON(handle)->child), text);
+	{
+		GtkWidget *label = GTK_BUTTON(handle)->child;
+
+		if(GTK_IS_LABEL(label))
+			gtk_label_set_text(GTK_LABEL(label), text);
+	}
 	else if(GTK_IS_FRAME(handle))
 	{
 		GtkWidget *tmp = (GtkWidget *)gtk_object_get_data(GTK_OBJECT(handle), "_dw_label");