android_destroy_window 583 src/androidgui.h extern void android_destroy_window (android_window); android_destroy_window 2251 src/androidterm.c android_destroy_window (FRAME_ANDROID_WINDOW (f));