mirror of
https://github.com/wesnoth/wesnoth
synced 2024-09-20 07:51:33 +00:00
b316ee518b
This updates filtering for: * Game Load dialogue * MP lobby * In-game label and unit search * Add-ons client (now used consistently)
114 B
114 B
User interface
- Search filter should now be case-insensitive for more than just ASCII characters (#9328)