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 2b1022b0e442dba5b522d55d17b88d00b47e5da7..e358dc851e5e206cd961ca2e1b855f72c8bebed1 100644 (file)
--- a/src/events.h
+++ b/src/events.h
@@ -35,6 +35,7 @@ void HandleMotionEvent(MotionEvent *);
 void HandleWindowEvent(WindowEvent *);
 void HandleFingerEvent(FingerEvent *);
 void HandleTextEvent(TextEvent *);
+void HandlePauseResumeEvent(PauseResumeEvent *);
 #endif
 void HandleKeyEvent(KeyEvent *);
 void HandleFocusEvent(FocusChangeEvent *);