Update Android port

* src/android.c (android_check_if_event):
* src/androidgui.h: New function.
* src/androidterm.c (android_event_is_for_frame): New function.
(android_reset_conversion): Free and unqueue all text conversion
events for the given frame.

1 files changed, 4 insertions, 0 deletions

diff --git a/src/androidgui.h b/src/androidgui.h
index 0e311b629c6..ddd8e9fcf72 100644
--- a/src/androidgui.h
+++ b/src/androidgui.h
@@ -524,6 +524,10 @@ enum android_ic_mode
 
 extern int android_pending (void);
 extern void android_next_event (union android_event *);
+extern bool android_check_if_event (union android_event *,
+                                    bool (*) (union android_event *,
+                                              void *),
+                                    void *);
 
 extern android_window android_create_window (android_window, int,
                                              int, int, int,