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