android_move_resize_window 2378 src/androidfns.c   android_move_resize_window (FRAME_ANDROID_WINDOW (tip_f),
android_move_resize_window  651 src/androidgui.h extern void android_move_resize_window (android_window, int, int,