int screen_rendering_mode;
int vsync_mode;
+ unsigned int frame_counter;
unsigned int frame_delay;
unsigned int frame_delay_value;
boolean PendingEvent(void);
void WaitEvent(Event *event);
void PeekEvent(Event *event);
+void PumpEvents(void);
void CheckQuitEvent(void);
Key GetEventKey(KeyEvent *, boolean);
KeyMod HandleKeyModState(Key, int);