android_resize_window 4998 src/android.c    android_resize_window (window, width, height);
android_resize_window  597 src/androidgui.h extern void android_resize_window (android_window, unsigned int,
android_resize_window 2102 src/androidterm.c   android_resize_window (FRAME_ANDROID_WINDOW (f), width,