Index: mahjongg.c
===================================================================
--- mahjongg.c	(revision 9068)
+++ mahjongg.c	(working copy)
@@ -186,21 +186,19 @@
 {
   gtk_action_set_sensitive (pause_action,
 			    game_over != GAME_WON &&
-			    game_over != GAME_WAITING);
+			    game_over != GAME_WAITING && !paused); 
   gtk_action_set_sensitive (restart_action, undo_state);
 
   if (paused) {
     gtk_action_set_sensitive (hint_action, FALSE);
     gtk_action_set_sensitive (undo_action, FALSE);
-    gtk_action_set_sensitive (redo_action, FALSE);
-    gtk_action_set_visible (pause_action, FALSE);
-    gtk_action_set_visible (resume_action, TRUE);
+    gtk_action_set_sensitive (redo_action, FALSE);    
+    gtk_action_set_sensitive(resume_action,TRUE);
   } else {
     gtk_action_set_sensitive (hint_action, moves_left > 0);
     gtk_action_set_sensitive (undo_action, undo_state);
     gtk_action_set_sensitive (redo_action, redo_state);
-    gtk_action_set_visible (pause_action, TRUE);
-    gtk_action_set_visible (resume_action, FALSE);
+    gtk_action_set_sensitive(resume_action,FALSE);
   }
 
   /* This is a workaround to make sure that all toolbar elements are
