gtk.EventControllerScroll is an event controller meant to handle scroll events from mice and touchpads. It is capable of handling both discrete and continuous scroll events, abstracting them both on the scroll signal (deltas in the discrete case are multiples of 1).
Undocumented in source.