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,