android_event_type  255 src/androidgui.h   enum android_event_type type;
android_event_type  271 src/androidgui.h   enum android_event_type type;
android_event_type  300 src/androidgui.h   enum android_event_type type;
android_event_type  310 src/androidgui.h   enum android_event_type type;
android_event_type  318 src/androidgui.h   enum android_event_type type;
android_event_type  333 src/androidgui.h   enum android_event_type type;
android_event_type  342 src/androidgui.h   enum android_event_type type;
android_event_type  351 src/androidgui.h   enum android_event_type type;
android_event_type  362 src/androidgui.h   enum android_event_type type;
android_event_type  379 src/androidgui.h   enum android_event_type type;
android_event_type  403 src/androidgui.h   enum android_event_type type;
android_event_type  427 src/androidgui.h   enum android_event_type type;
android_event_type  439 src/androidgui.h   enum android_event_type type;
android_event_type  477 src/androidgui.h   enum android_event_type type;
android_event_type  514 src/androidgui.h   enum android_event_type type;