int push_delay;
int push_delay_value;
- unsigned int actual_frame_counter;
+ DelayCounter actual_frame_counter;
int drop_delay;
int drop_pressed_delay;
void RequestQuitGameExt(boolean, boolean, char *);
void RequestQuitGame(boolean);
void RequestRestartGame(char *);
-void CheckGameOver(void);
+boolean CheckRestartGame(void);
boolean checkGameSolved(void);
boolean checkGameFailed(void);
boolean checkGameEnded(void);