added setup option to enable/disable (now optional) snapshot buttons

[rocksndiamonds.git] / src / tape.c

diff --git a/src/tape.c b/src/tape.c
index 7a896e807bf79e7ebb6864cf0e50e09670f718fb..4ff0c9687de9577369e54cbb935b61605ed562d5 100644 (file)
--- a/src/tape.c
+++ b/src/tape.c
@@ -747,7 +747,9 @@ void TapeTogglePause(boolean toggle_manual)
     }
   }
 
-  if (game_status == GAME_MODE_PLAYING && CheckEngineSnapshotList())
+  if (setup.show_snapshot_buttons &&
+      game_status == GAME_MODE_PLAYING &&
+      CheckEngineSnapshotList())
   {
     if (tape.pausing)
       MapUndoRedoButtons();