ANDROID_BUTTON_RELEASE 2083 src/android.c    event.xbutton.type = ANDROID_BUTTON_RELEASE;
ANDROID_BUTTON_RELEASE  556 src/androidterm.c 		       | (event->type == ANDROID_BUTTON_RELEASE
ANDROID_BUTTON_RELEASE 1234 src/androidterm.c     case ANDROID_BUTTON_RELEASE:
ANDROID_BUTTON_RELEASE 1305 src/androidterm.c 				 != ANDROID_BUTTON_RELEASE)