android_move_window 5027 src/android.c    android_move_window (window, x, y);
android_move_window 2249 src/androidfns.c 	  android_move_window (FRAME_ANDROID_WINDOW (tip_f),
android_move_window  599 src/androidgui.h extern void android_move_window (android_window, int, int);
android_move_window 2169 src/androidterm.c   android_move_window (FRAME_ANDROID_WINDOW (f), xoff, yoff);