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();
}
}
if (tape.show_game_buttons)
RedrawGameButtonsOnTape();
-
- // RedrawGadget() may have set REDRAW_ALL if buttons are defined off-area
- if (redraw_mask & REDRAW_ALL)
- redraw_mask = REDRAW_FIELD | REDRAW_DOORS;
}
void RedrawOrRemapTapeButtons(void)