David Vanderschel wrote:
Indeed, it may be that Jason thought he was responding to Augusto
when, in fact, he was replying to my response to Augusto
I was responding to both of you, in particular since you said:
It is not reflected in the higher level code (w32-handle-scroll-
bar-event) which ultimately handles a given scrolling event.
Since w32-handle-scroll-bar-event is not involved in handling
mouse-wheel events (at least in 22.1 and later, which uses generic mouse
wheel code for all platforms).
