Was the top edge of the screen intersected by this event?

Property definitions

android $ AndroidMotionEvent :: touch_to_edge
	# Was the top edge of the screen intersected by this event?
	fun touch_to_edge: Bool do return native.edge == 1
lib/android/input_events.nit:127,2--128,51