 rubenwardy
|
67aa75d444
Use JSON for favorites, move server list code to Lua (#10085)
|
hace 3 años |
 Andrey
|
5066fe7583
MainMenu: Add clear button and icon for search input (#10363)
|
hace 3 años |
 Wuzzy
|
625b100593
Add comments for translators (#9510)
|
hace 4 años |
|
rubenwardy
|
8e757859d6
Add luacheck to check builtin (#7895)
|
hace 5 años |
|
Wuzzy
|
705b454026
Remove fgettext("") in builtin
|
hace 5 años |
 ChimneySwift
|
6c42ebfafa
Escape special characters when searching the server list (#7842)
|
hace 6 años |
 Tre
|
5ef9056e89
Add a refresh button to the serverlist (#6957)
|
hace 6 años |
|
Tre
|
3a5959ae6b
Main menu: Change tabs to 'Start Game' and 'Join Game' (#6955)
|
hace 6 años |
 ezhh
|
c655984849
Mainmenu: Improve button alignment
|
hace 7 años |
 adrido
|
e6e5fa3bf8
Formspec: textarea with scrollbar improvements
|
hace 7 años |
 Vincent Glize
|
367d218f2b
Change the server description after a search (#6074)
|
hace 7 años |
 Elijah Duffy
|
4dc97eb99f
Menu: Merge singleplayer and server tabs (#5627)
|
hace 7 años |
