added setup option for showing (only) undo/redo game buttons
[rocksndiamonds.git] / src / tape.c
index 1c691867378923c3b35a5093a0e98eb9c59cf2b5..aa2f84a572e174a65a51d768d95481996a7da13a 100644 (file)
@@ -828,7 +828,9 @@ void TapeTogglePause(boolean toggle_mode)
 
   if (game_status == GAME_MODE_PLAYING)
   {
-    if (setup.show_snapshot_buttons && CheckEngineSnapshotList())
+    if (setup.show_snapshot_buttons &&
+       setup.show_undo_redo_buttons &&
+       CheckEngineSnapshotList())
     {
       if (tape.pausing)
        MapUndoRedoButtons();