fixed updating multiple pause button gadgets when toggling pause mode

[rocksndiamonds.git] / src / game.h

diff --git a/src/game.h b/src/game.h
index 5a96d4fc630cb23fc67d253984b1ec7b8afdfe8b..9bfa0cd52d078c5d6ad6c67b02b2cd724b60fa45 100644 (file)
--- a/src/game.h
+++ b/src/game.h
@@ -452,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);