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 02ad166069b583bc18251b93031531434b2e0626..e358dc851e5e206cd961ca2e1b855f72c8bebed1 100644 (file)
--- a/src/events.h
+++ b/src/events.h
@@ -32,7 +32,10 @@ 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 *);
@@ -40,6 +43,7 @@ void HandleClientMessageEvent(ClientMessageEvent *);
 void HandleWindowManagerEvent(Event *);
 
 void HandleNoEvent(void);
+void HandleToonAnimations(void);
 
 void HandleButton(int, int, int, int);
 void HandleKey(Key, int);