projects
/
rocksndiamonds.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
fixed updating multiple pause button gadgets when toggling pause mode
[rocksndiamonds.git]
/
src
/
tape.c
diff --git
a/src/tape.c
b/src/tape.c
index 6987d5d588d8e2b3efe37d576e66d349f3d6ebb8..43c3c30699807efed1332e53488ab6adbf02ae5a 100644
(file)
--- a/
src/tape.c
+++ b/
src/tape.c
@@
-764,14
+764,17
@@
void TapeTogglePause(boolean toggle_mode)
return;
}
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();
}
}
}
}
@@
-1409,9
+1412,6
@@
void RedrawTapeButtons(void)
if (tape.show_game_buttons)
RedrawGameButtonsOnTape();
if (tape.show_game_buttons)
RedrawGameButtonsOnTape();
-
- // RedrawGadget() may have set REDRAW_ALL if buttons are defined off-area
- redraw_mask &= ~REDRAW_ALL;
}
void RedrawOrRemapTapeButtons(void)
}
void RedrawOrRemapTapeButtons(void)