--- gnome-games-2.27.90/gnomine/gnomine.c 2009-08-12 14:59:04.000000000 -0400
+++ hacked/gnomine/gnomine.c 2009-08-23 01:42:41.527430702 -0400
@@ -1094,6 +1095,7 @@
G_CALLBACK (pause_key_callback), NULL);
all_boxes = gtk_vbox_new (FALSE, 0);
+ gtk_widget_show (all_boxes);
gtk_container_add (GTK_CONTAINER (window), all_boxes);
@@ -1101,6 +1103,7 @@
accel_group = gtk_ui_manager_get_accel_group (ui_manager);
gtk_window_add_accel_group (GTK_WINDOW (window), accel_group);
box = gtk_ui_manager_get_widget (ui_manager, "/MainMenu");
+ gtk_widget_show (box);
gtk_box_pack_start (GTK_BOX (all_boxes), box, FALSE, FALSE, 0);
button_table = gtk_table_new (1, 3, FALSE);
@@ -1189,7 +1192,8 @@
new_game ();
- gtk_widget_show_all (window);
+ gtk_widget_show_all (button_table);
+ gtk_widget_show (window);
/* Must be after the window has been created. */
if (xpos >= 0 && ypos >= 0)