luanti-org/luanti
1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-12-19 05:15:47 +01:00
Code Activity
Files
d068f34753ee187f5adccbf31e214ab034766d87
luanti/builtin/mainmenu/tab_online.lua
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

14 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink