Jumpy scroll on devices with high resolution scrolling
It seems mousepad suffers the same issue as xf terminal with devices supporting high res scroll
mousepad version 0.6.5, sourceview 4.8.4, libxfce4ui 4.20.1
Upstream issue: https://gitlab.gnome.org/GNOME/gtksourceview/-/issues/404
Edited by Gaël Bonithon