[=undeal10;616857]
The 4.13 version had a problem with Widget scroll box scrolling speed at least on mobile. On 4.12 the scrolling was fast enough but on 4.13 it is really hard to scroll while not using the scroll bar - will it be fixed in 4.14, because I saw a lot of people complaining, but I can’t seem to find it anywhere as a tagged fix or anything
[/]
I remember merging a pull-request about that, so it should be fixed for 4.14. Feel free to verify it though 