fixed updating multiple pause button gadgets when toggling pause mode
[rocksndiamonds.git] / src / game.h
index 0319a8df9594e7c3aad85dec2ce7683730c1f74e..9bfa0cd52d078c5d6ad6c67b02b2cd724b60fa45 100644 (file)
@@ -275,7 +275,6 @@ struct PlayerInfo
   int client_nr;               // network client identifier
 
   byte action;                 // action from local input device
-  byte mapped_action;          // action mapped from device to player
   byte effective_action;       /* action acknowledged from network server
                                   or summarized over all configured input
                                   devices when in single player mode */
@@ -453,6 +452,7 @@ void CreateGameButtons(void);
 void FreeGameButtons(void);
 void MapUndoRedoButtons(void);
 void UnmapUndoRedoButtons(void);
+void ModifyPauseButtons(void);
 void MapGameButtons(void);
 void UnmapGameButtons(void);
 void RedrawGameButtons(void);