fixed problem with mixed use of game pause and tape pause buttons

diff --git a/src/game.c b/src/game.c
index f7ff3eab01a0d85cf274df89332e410030031d47..1b7eaa3bdb5bae22d0627adc2bb070eb2c1901c1 100644 (file)
--- a/src/game.c
+++ b/src/game.c
@@ -15045,6 +15045,8 @@ void MapUndoRedoButtons()
 
   MapGadget(game_gadget[GAME_CTRL_ID_UNDO]);
   MapGadget(game_gadget[GAME_CTRL_ID_REDO]);
+
+  ModifyGadget(game_gadget[GAME_CTRL_ID_PAUSE2], GDI_CHECKED, TRUE, GDI_END);
 }
 
 void UnmapUndoRedoButtons()
@@ -15054,6 +15056,8 @@ void UnmapUndoRedoButtons()
 
   MapGameButtonsAtSamePosition(GAME_CTRL_ID_UNDO);
   MapGameButtonsAtSamePosition(GAME_CTRL_ID_REDO);
+
+  ModifyGadget(game_gadget[GAME_CTRL_ID_PAUSE2], GDI_CHECKED, FALSE, GDI_END);
 }
 
 void MapGameButtons()