I can confirm this, except that scrolling is very slow to the direction on which edge the mouse pointer is. F.e. Mouse pointer close to left edge -> scrolling to left is very slow.
But i am not sure if this is a bug in Widelands or SDL or the WM and if this is worth for fixing since it is a special use case. I have never scrolled the map when the mouse pointer is near an edge. Just my opinion :-)
I can confirm this, except that scrolling is very slow to the direction on which edge the mouse pointer is. F.e. Mouse pointer close to left edge -> scrolling to left is very slow.
But i am not sure if this is a bug in Widelands or SDL or the WM and if this is worth for fixing since it is a special use case. I have never scrolled the map when the mouse pointer is near an edge. Just my opinion :-)