[kovidgoyal]

Since apparently wheel mice behave wildly differently and there is no reliable way of guessing what a given mouse will produce, I suppose the only fix is to add an option to control this behavior, for wheels that generate pixel scrolls.