import platform
import native_app_glue
+import dalvik
private import log
# Uses Android logs to print everything
super
window_closing
end
+
+ # Is the application currently paused?
+ var paused = true
+
+ redef fun window_created
+ do
+ super
+ paused = false
+ end
+
+ redef fun window_closing
+ do
+ paused = true
+ super
+ end
+
+ redef fun pause
+ do
+ paused = true
+ super
+ end
+
+ redef fun resume
+ do
+ paused = false
+ super
+ end
+
+ redef fun lost_focus
+ do
+ paused = true
+ super
+ end
+
+ redef fun gained_focus
+ do
+ paused = false
+ super
+ end
+
+ redef fun destroy do exit 0
end