ANDROID_LEAVE_NOTIFY 2019 src/android.c    event.xcrossing.type = ANDROID_LEAVE_NOTIFY;
ANDROID_LEAVE_NOTIFY 1168 src/androidterm.c     case ANDROID_LEAVE_NOTIFY: