added pumping events when waiting for screen redraw

[rocksndiamonds.git] / src / libgame / system.h

diff --git a/src/libgame/system.h b/src/libgame/system.h
index 290f0cb7827af8e501be7cf2c38e2114f96a1c7c..6c0490f327e00c3ab1fd821cec9a46ec0ed20388 100644 (file)
--- a/src/libgame/system.h
+++ b/src/libgame/system.h
@@ -1852,6 +1852,8 @@ void FreeBitmapTextures(Bitmap **);
 void ScaleBitmap(Bitmap **, int);
 
 void SetMouseCursor(int);
+void UpdateRawMousePosition(int, int);
+void UpdateMousePosition(void);
 
 void OpenAudio(void);
 void CloseAudio(void);
@@ -1861,6 +1863,7 @@ void InitEventFilter(EventFilter);
 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);