Lars Müller 6c324cb871 Main menu: Fix server selection (#15466)
Server selections are now always correct (no more arbitrarily changing selections if the order of the serverlist changes) and consistent with the address + port in the sidebar.
2024-11-27 18:39:28 +01:00
..
2024-10-28 19:40:18 +01:00
2024-11-10 13:23:16 +01:00
2024-10-28 19:40:18 +01:00
2024-10-28 19:40:18 +01:00
2024-10-28 19:40:18 +01:00