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 30b37544c32519abbc73f06692c4bb5511bdf0c2..6c0490f327e00c3ab1fd821cec9a46ec0ed20388 100644 (file)
--- a/src/libgame/system.h
+++ b/src/libgame/system.h
@@ -1863,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);