# HG changeset patch
# User bsmith@81767d24-ef19-dc11-ae90-00e081727c95
# Date 1079417920 0
# Node ID 63e5812d64ba3156ef7a56a62abc250f982d9c2e
# Parent  caa7ed17c132d2d1de5008e09e7d2997067b98ea
Need to show the images for the MDI window buttons, since we don't use
gtk_widget_show_all().

diff -r caa7ed17c132 -r 63e5812d64ba gtk/dw.c
--- a/gtk/dw.c	Tue Mar 16 02:55:04 2004 +0000
+++ b/gtk/dw.c	Tue Mar 16 06:18:40 2004 +0000
@@ -215,7 +215,7 @@
 #include "gtk/kill.xpm"
 
 #define GTK_MDI_BACKGROUND "Grey70"
-#define GTK_MDI_LABEL_BACKGROUND    "black"
+#define GTK_MDI_LABEL_BACKGROUND    "RoyalBlue4"
 #define GTK_MDI_LABEL_FOREGROUND    "white"
 #define GTK_MDI_DEFAULT_WIDTH 0
 #define GTK_MDI_DEFAULT_HEIGHT 0
@@ -341,6 +341,7 @@
 	GtkWidget *top_event_box;
 	GtkWidget *bottom_event_box;
 	GtkWidget *child_widget_box;
+	GtkWidget *image;
 
 	GdkColor color;
 	gint i, j;
@@ -394,15 +395,21 @@
 	pixmap = gdk_pixmap_colormap_create_from_xpm_d (NULL, colormap, &mask,
 													&style->bg[GTK_STATE_NORMAL],
 													(gchar **) minimize_xpm);
-	gtk_container_add (GTK_CONTAINER (button[0]), gtk_image_new_from_pixmap (pixmap, mask));
+	image = gtk_image_new_from_pixmap (pixmap, mask);
+	gtk_widget_show(image);
+	gtk_container_add (GTK_CONTAINER (button[0]), image);
 	pixmap = gdk_pixmap_colormap_create_from_xpm_d (GTK_WIDGET (mdi)->window, colormap, &mask,
 													&style->bg[GTK_STATE_NORMAL],
 													(gchar **) maximize_xpm);
-	gtk_container_add (GTK_CONTAINER (button[1]), gtk_image_new_from_pixmap (pixmap, mask));
+	image = gtk_image_new_from_pixmap (pixmap, mask);
+	gtk_widget_show(image);
+	gtk_container_add (GTK_CONTAINER (button[1]), image);
 	pixmap = gdk_pixmap_colormap_create_from_xpm_d (GTK_WIDGET (mdi)->window, colormap, &mask,
 													&style->bg[GTK_STATE_NORMAL],
 													(gchar **) kill_xpm);
-	gtk_container_add (GTK_CONTAINER (button[2]), gtk_image_new_from_pixmap (pixmap, mask));
+	image = gtk_image_new_from_pixmap (pixmap, mask);
+	gtk_widget_show(image);
+	gtk_container_add (GTK_CONTAINER (button[2]), image);
 
 	gtk_table_attach (GTK_TABLE (table), child_widget_box, 1, 6, 2, 3,
 					  GTK_EXPAND | GTK_SHRINK | GTK_FILL,