ANDROID_CONFIGURE_NOTIFY 1880 src/android.c    event.xconfigure.type = ANDROID_CONFIGURE_NOTIFY;
ANDROID_CONFIGURE_NOTIFY  819 src/androidterm.c     case ANDROID_CONFIGURE_NOTIFY:
ANDROID_CONFIGURE_NOTIFY 2109 src/androidterm.c       android_wait_for_event (f, ANDROID_CONFIGURE_NOTIFY);