From: Holger Schemel <info@artsoft.org>
Date: Tue, 14 Jun 2016 09:33:41 +0000 (+0200)
Subject: fixed problem with mixed use of game pause and tape pause buttons
X-Git-Tag: 4.0.0.0-rc3~8
X-Git-Url: https://git.artsoft.org/?a=commitdiff_plain;h=c7d5dd6184f1dc229aeefaef48bea65dea6e1f79;p=rocksndiamonds.git

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

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()