I decided to define
isearch-repeat-backward in the
This works, but if you scroll quickly, it reverts to ordinary scrolling behavior and cancels your isearch. It helped a lot to define
<double-wheel-up> etc, but if you scroll very quickly, the problem still occurs.
How can I redefine scroll events independent of scrolling speed?