src/video/android/SDL_androidvideo.h
changeset 6330 0fa55ca2efdd
parent 6138 4c64952a58fb
child 6555 f2c03c06d987
--- a/src/video/android/SDL_androidvideo.h	Tue Jun 19 12:29:53 2012 -0400
+++ b/src/video/android/SDL_androidvideo.h	Tue Jun 19 13:57:42 2012 -0300
@@ -23,6 +23,7 @@
 #ifndef _SDL_androidvideo_h
 #define _SDL_androidvideo_h
 
+#include "SDL_mutex.h"
 #include "../SDL_sysvideo.h"
 
 /* Called by the JNI layer when the screen changes size or format */
@@ -33,8 +34,10 @@
 extern int Android_ScreenWidth;
 extern int Android_ScreenHeight;
 extern Uint32 Android_ScreenFormat;
+extern SDL_sem *Android_PauseSem, *Android_ResumeSem;
 extern SDL_Window *Android_Window;
 
+
 #endif /* _SDL_androidvideo_h */
 
 /* vi: set ts=4 sw=4 expandtab: */