Pushing the finger on an element and then dropping that push, is represented as MotionEvent.ACTION_UP and MotionEvent.ACTION_DOWN on Android, which in turn is represented as GestureStateType "began" and "ended" in {N}.

Would you mind exporting these, so that for instance users can implement their own buttons or their own push/hover effects of various kinds?