projects
/
rocksndiamonds.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
added setup option for showing (only) undo/redo game buttons
[rocksndiamonds.git]
/
src
/
tape.c
diff --git
a/src/tape.c
b/src/tape.c
index 1c691867378923c3b35a5093a0e98eb9c59cf2b5..aa2f84a572e174a65a51d768d95481996a7da13a 100644
(file)
--- a/
src/tape.c
+++ b/
src/tape.c
@@
-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();