Opened 3 years ago
Mouse wheel scrolling should be faster
|Reported by:||Sewi||Owned by:|
Padre is very slow when the editor window is being scrolled using the mouse wheel (feels like a second per line here).
We should either improve scrolling speed at all or at least wait if there are more "scroll" events following before redrawing.