+ # The pointer (or finger) causing this event
+ var acting_pointer: AndroidPointerEvent is lazy do
+ var action = native.action
+ var index = 0
+
+ if action.is_pointer_down or action.is_pointer_up then
+ index = native.action.pointer_index
+ end
+
+ return new AndroidPointerEvent(self, index)
+ end
+
+ redef fun just_went_down do return native.action.is_down or native.action.is_pointer_down