android_set_input_focus  642 src/androidgui.h extern void android_set_input_focus (android_window, unsigned long);
android_set_input_focus 1262 src/androidterm.c 	      android_set_input_focus (FRAME_ANDROID_WINDOW (f),
android_set_input_focus 1923 src/androidterm.c   android_set_input_focus (FRAME_ANDROID_WINDOW (f),