From c7d5dd6184f1dc229aeefaef48bea65dea6e1f79 Mon Sep 17 00:00:00 2001 From: Holger Schemel Date: Tue, 14 Jun 2016 11:33:41 +0200 Subject: [PATCH] fixed problem with mixed use of game pause and tape pause buttons --- src/game.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/game.c b/src/game.c index f7ff3eab..1b7eaa3b 100644 --- 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() -- 2.34.1