Lars Müller
|
0e06590ffd
Apply "and" to server list & content search terms (#15365)
|
2 weeks ago |
Wuzzy
|
ad4b13a0e9
Luanti rename: builtin (#15324)
|
3 weeks ago |
Gregor Parzefall
|
b1dec37adb
Clean up and improve mainmenu theme / game theme code (#13885)
|
1 year ago |
Gregor Parzefall
|
56965bc814
Android: Add `field_enter_after_edit[]` formspec element (#13836)
|
1 year ago |
Gregor Parzefall
|
94eba15c34
Misc. mainmenu fixes (#13859)
|
1 year ago |
rubenwardy
|
0cbf96cc83
Use formspec version 6 in the main menu (#13761)
|
1 year ago |
olive
|
b1c8a7d055
Fix empty port assertion error in 'Join Game' menu
|
1 year ago |
ROllerozxa
|
7f01471141
Fix join game tab being slightly shorter than the others (#13073)
|
1 year ago |
Niklp
|
2854c19792
Fix incorrectly placed label in tab_online (#12732)
|
2 years ago |
SmallJoker
|
8dcbca1068
Mainmenu: Escape server_favorite_delete path
|
2 years ago |
rubenwardy
|
03d86ea0b4
Add register dialog to separate login/register (#12185)
|
2 years ago |
sfan5
|
042131d91d
Mainmenu: Improve "Join Game" tab (#11078)
|
3 years ago |
rubenwardy
|
67aa75d444
Use JSON for favorites, move server list code to Lua (#10085)
|
3 years ago |
Andrey
|
5066fe7583
MainMenu: Add clear button and icon for search input (#10363)
|
3 years ago |
Wuzzy
|
625b100593
Add comments for translators (#9510)
|
4 years ago |
rubenwardy
|
8e757859d6
Add luacheck to check builtin (#7895)
|
5 years ago |
Wuzzy
|
705b454026
Remove fgettext("") in builtin
|
5 years ago |
ChimneySwift
|
6c42ebfafa
Escape special characters when searching the server list (#7842)
|
6 years ago |
Tre
|
5ef9056e89
Add a refresh button to the serverlist (#6957)
|
6 years ago |
Tre
|
3a5959ae6b
Main menu: Change tabs to 'Start Game' and 'Join Game' (#6955)
|
6 years ago |
ezhh
|
c655984849
Mainmenu: Improve button alignment
|
7 years ago |
adrido
|
e6e5fa3bf8
Formspec: textarea with scrollbar improvements
|
7 years ago |
Vincent Glize
|
367d218f2b
Change the server description after a search (#6074)
|
7 years ago |
Elijah Duffy
|
4dc97eb99f
Menu: Merge singleplayer and server tabs (#5627)
|
7 years ago |