Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
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
end
app_glue->onInputEvent = mnit_handle_input;
`}
+ redef fun full_frame do if not paused then super
+
# these are used as a callback from native to type incoming events
private fun extern_input_key(event: AndroidKeyEvent): Bool
do