mnit :: PointerEvent :: pointer_id
This value is useful to differentiate between pointers (or fingers) on multi-touch systems. This value does not change for the same pointer while it touches the screen.
# Unique identifier of this pointer among other active pointers
#
# This value is useful to differentiate between pointers (or fingers) on
# multi-touch systems. This value does not change for the same pointer
# while it touches the screen.
fun pointer_id: Int do return 0
lib/mnit/input.nit:44,2--49,32
redef var pointer_id = native_touch.to_i is lazy
lib/gamnit/input_ios.nit:40,2--49
# Unique id of this pointer since the beginning of the gesture
redef fun pointer_id do return native_pointer_id(motion_event.native, pointer_index)
lib/android/input_events.nit:202,2--203,85