android_move_window 4997 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);