ios :: NitGLKView :: touches_ended
	# Hook on the end of a touch event
	fun touches_ended(touches: NSSet_UITouch, event: UIEvent) do end
					lib/ios/glkit.nit:170,2--171,65
				
	redef fun touches_ended(touches, event)
	do app.accept_event(new GamnitIOSPointerEvent(event, touches.any_object, content_scale_factor, false, false))
					lib/gamnit/input_ios.nit:53,2--54,110