--- 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
@@ -290,7 +290,9 @@
   set_flabel (GTK_MINEFIELD (mfield));
 
   gtk_action_set_visible (pause_action, TRUE);
+  gtk_action_set_sensitive (pause_action, TRUE);
   gtk_action_set_visible (resume_action, FALSE);
+  gtk_action_set_sensitive (resume_action, FALSE);
   gtk_widget_hide (resume_container);
   gtk_widget_show (mfield_container);
 }