Fix #3393: Option to turn off smooth scrolling#3405
Merged
siegfriedpammer merged 1 commit intoicsharpcode:masterfrom Feb 20, 2025
Merged
Fix #3393: Option to turn off smooth scrolling#3405siegfriedpammer merged 1 commit intoicsharpcode:masterfrom
siegfriedpammer merged 1 commit intoicsharpcode:masterfrom