comparison gtk/dw.c @ 517:63e5812d64ba

Need to show the images for the MDI window buttons, since we don't use gtk_widget_show_all().
author bsmith@81767d24-ef19-dc11-ae90-00e081727c95
date Tue, 16 Mar 2004 06:18:40 +0000
parents caa7ed17c132
children 7efc5f99c4cc
comparison
equal deleted inserted replaced
516:caa7ed17c132 517:63e5812d64ba
213 #include "gtk/maximize.xpm" 213 #include "gtk/maximize.xpm"
214 #include "gtk/minimize.xpm" 214 #include "gtk/minimize.xpm"
215 #include "gtk/kill.xpm" 215 #include "gtk/kill.xpm"
216 216
217 #define GTK_MDI_BACKGROUND "Grey70" 217 #define GTK_MDI_BACKGROUND "Grey70"
218 #define GTK_MDI_LABEL_BACKGROUND "black" 218 #define GTK_MDI_LABEL_BACKGROUND "RoyalBlue4"
219 #define GTK_MDI_LABEL_FOREGROUND "white" 219 #define GTK_MDI_LABEL_FOREGROUND "white"
220 #define GTK_MDI_DEFAULT_WIDTH 0 220 #define GTK_MDI_DEFAULT_WIDTH 0
221 #define GTK_MDI_DEFAULT_HEIGHT 0 221 #define GTK_MDI_DEFAULT_HEIGHT 0
222 #define GTK_MDI_MIN_HEIGHT 22 222 #define GTK_MDI_MIN_HEIGHT 22
223 #define GTK_MDI_MIN_WIDTH 55 223 #define GTK_MDI_MIN_WIDTH 55
339 339
340 GtkWidget *child_box; 340 GtkWidget *child_box;
341 GtkWidget *top_event_box; 341 GtkWidget *top_event_box;
342 GtkWidget *bottom_event_box; 342 GtkWidget *bottom_event_box;
343 GtkWidget *child_widget_box; 343 GtkWidget *child_widget_box;
344 GtkWidget *image;
344 345
345 GdkColor color; 346 GdkColor color;
346 gint i, j; 347 gint i, j;
347 GdkCursor *cursor; 348 GdkCursor *cursor;
348 GdkColormap *colormap; 349 GdkColormap *colormap;
392 style = gtk_widget_get_default_style (); 393 style = gtk_widget_get_default_style ();
393 colormap = gdk_colormap_get_system (); 394 colormap = gdk_colormap_get_system ();
394 pixmap = gdk_pixmap_colormap_create_from_xpm_d (NULL, colormap, &mask, 395 pixmap = gdk_pixmap_colormap_create_from_xpm_d (NULL, colormap, &mask,
395 &style->bg[GTK_STATE_NORMAL], 396 &style->bg[GTK_STATE_NORMAL],
396 (gchar **) minimize_xpm); 397 (gchar **) minimize_xpm);
397 gtk_container_add (GTK_CONTAINER (button[0]), gtk_image_new_from_pixmap (pixmap, mask)); 398 image = gtk_image_new_from_pixmap (pixmap, mask);
399 gtk_widget_show(image);
400 gtk_container_add (GTK_CONTAINER (button[0]), image);
398 pixmap = gdk_pixmap_colormap_create_from_xpm_d (GTK_WIDGET (mdi)->window, colormap, &mask, 401 pixmap = gdk_pixmap_colormap_create_from_xpm_d (GTK_WIDGET (mdi)->window, colormap, &mask,
399 &style->bg[GTK_STATE_NORMAL], 402 &style->bg[GTK_STATE_NORMAL],
400 (gchar **) maximize_xpm); 403 (gchar **) maximize_xpm);
401 gtk_container_add (GTK_CONTAINER (button[1]), gtk_image_new_from_pixmap (pixmap, mask)); 404 image = gtk_image_new_from_pixmap (pixmap, mask);
405 gtk_widget_show(image);
406 gtk_container_add (GTK_CONTAINER (button[1]), image);
402 pixmap = gdk_pixmap_colormap_create_from_xpm_d (GTK_WIDGET (mdi)->window, colormap, &mask, 407 pixmap = gdk_pixmap_colormap_create_from_xpm_d (GTK_WIDGET (mdi)->window, colormap, &mask,
403 &style->bg[GTK_STATE_NORMAL], 408 &style->bg[GTK_STATE_NORMAL],
404 (gchar **) kill_xpm); 409 (gchar **) kill_xpm);
405 gtk_container_add (GTK_CONTAINER (button[2]), gtk_image_new_from_pixmap (pixmap, mask)); 410 image = gtk_image_new_from_pixmap (pixmap, mask);
411 gtk_widget_show(image);
412 gtk_container_add (GTK_CONTAINER (button[2]), image);
406 413
407 gtk_table_attach (GTK_TABLE (table), child_widget_box, 1, 6, 2, 3, 414 gtk_table_attach (GTK_TABLE (table), child_widget_box, 1, 6, 2, 3,
408 GTK_EXPAND | GTK_SHRINK | GTK_FILL, 415 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
409 GTK_EXPAND | GTK_SHRINK | GTK_FILL, 416 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
410 0, 0); 417 0, 0);