diff -up gnome-games-2.27.90/gnomine/gnomine.c.keys-fix gnome-games-2.27.90/gnomine/gnomine.c
--- gnome-games-2.27.90/gnomine/gnomine.c.keys-fix 2009-08-23 01:51:04.282681892 -0400
+++ gnome-games-2.27.90/gnomine/gnomine.c 2009-08-23 01:52:19.483680172 -0400
@@ -647,7 +647,7 @@ window_state_callback (GtkWidget * widge
}
-static void
+static gboolean
pause_key_callback(GtkWidget *widget, GdkEventKey *event,
gpointer data )
{
@@ -658,8 +658,11 @@ gpointer data )
resume_game_cb(NULL, NULL); // Resume the game
else
pause_callback(NULL, NULL, NULL); // Pause the game
+
+ return TRUE;
}
-
+
+ return FALSE;
}