In recent builds, scrolling in the minimap using the mouse appears not to be working properly. In particular, scrolling up and down appears always to scroll down. This appears to have been introduced at about the time of the infinite scroll option.
I intended to merge r10600, but it seems that it was not merged correctly - my apology. :-[ I think pull request #545 will fix it. Please confirm.
Quote from: Ranran on May 28, 2022, 01:27:14 PMI intended to merge r10600, but it seems that it was not merged correctly - my apology. :-[ I think pull request #545 will fix it. Please confirm.
That is better, thank you. Now incorporated.