Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
#5831: Sanitise the scroll position after entering a search term, it …
…might be too large and be hiding the remaining visible tiles.
- Loading branch information