added Android project files

[rocksndiamonds.git] / src / tape.c

diff --git a/src/tape.c b/src/tape.c
index aeac3d3a29239b629dddd8c16d3dd6561c3cef0a..43c3c30699807efed1332e53488ab6adbf02ae5a 100644 (file)
--- a/src/tape.c
+++ b/src/tape.c
@@ -764,14 +764,17 @@ void TapeTogglePause(boolean toggle_mode)
     return;
   }
 
-  if (setup.show_snapshot_buttons &&
-      game_status == GAME_MODE_PLAYING &&
-      CheckEngineSnapshotList())
+  if (game_status == GAME_MODE_PLAYING)
   {
-    if (tape.pausing)
-      MapUndoRedoButtons();
-    else if (!tape.single_step)
-      UnmapUndoRedoButtons();
+    if (setup.show_snapshot_buttons && CheckEngineSnapshotList())
+    {
+      if (tape.pausing)
+       MapUndoRedoButtons();
+      else if (!tape.single_step)
+       UnmapUndoRedoButtons();
+    }
+
+    ModifyPauseButtons();
   }
 }