android_raise_window 5034 src/android.c    android_raise_window (window);
android_raise_window  643 src/androidgui.h extern void android_raise_window (android_window);
android_raise_window  394 src/androidterm.c   android_raise_window (FRAME_ANDROID_WINDOW (f));
android_raise_window 1266 src/androidterm.c 		android_raise_window (FRAME_ANDROID_WINDOW (f));