fixed music still being played in Android version when in background

[rocksndiamonds.git] / src / events.h

diff --git a/src/events.h b/src/events.h
index 5cff318374ae1d894946624431e9197ce0da17ae..e358dc851e5e206cd961ca2e1b855f72c8bebed1 100644 (file)
--- a/src/events.h
+++ b/src/events.h
@@ -31,12 +31,19 @@ void SleepWhileUnmapped(void);
 void HandleExposeEvent(ExposeEvent *);
 void HandleButtonEvent(ButtonEvent *);
 void HandleMotionEvent(MotionEvent *);
+#if defined(TARGET_SDL2)
+void HandleWindowEvent(WindowEvent *);
+void HandleFingerEvent(FingerEvent *);
+void HandleTextEvent(TextEvent *);
+void HandlePauseResumeEvent(PauseResumeEvent *);
+#endif
 void HandleKeyEvent(KeyEvent *);
 void HandleFocusEvent(FocusChangeEvent *);
 void HandleClientMessageEvent(ClientMessageEvent *);
 void HandleWindowManagerEvent(Event *);
 
 void HandleNoEvent(void);
+void HandleToonAnimations(void);
 
 void HandleButton(int, int, int, int);
 void HandleKey(Key, int);