| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-01-22 | Use JSON for favorites, move server list code to Lua (#10085) | rubenwardy | |
| Co-authored-by: sfan5 <sfan5@live.de> | |||
| 2020-12-19 | MainMenu: Add clear button and icon for search input (#10363) | Andrey | |
| 2020-03-20 | Add comments for translators (#9510) | Wuzzy | |
| * Add translator comments for "special" strings * Add translator comments for some "tricky" strings | |||
| 2019-08-06 | Add luacheck to check builtin (#7895) | rubenwardy | |
| 2019-02-09 | Remove fgettext("") in builtin | Wuzzy | |
| This call is useless and wrong, the empty string has a special meaning in Gettext. | |||
| 2018-11-10 | Escape special characters when searching the server list (#7842) | ChimneySwift | |
| Simple fix to stop searching for "[" or other special characters causing a crash. | |||
| 2018-02-19 | Add a refresh button to the serverlist (#6957) | Tre | |
| * add refresh button * Make search and refresh buttons smaller * Change to image button | |||
| 2018-01-25 | Main menu: Change tabs to 'Start Game' and 'Join Game' (#6955) | Tre | |
| 2017-11-19 | Mainmenu: Improve button alignment | ezhh | |
| 2017-10-09 | Formspec: textarea with scrollbar improvements | adrido | |
| Increase scrollrate depending on fontsize Scroll on mousewheel Allow scrolling and marking text on non writable textareas Update lua api about readonly mode Show scrollbar if text overflows | |||
| 2017-06-29 | Change the server description after a search (#6074) | Vincent Glize | |
| 2017-05-21 | Menu: Merge singleplayer and server tabs (#5627) | Elijah Duffy | |
| Rename "Singleplayer" tab to "Play" and remove "Server" tab placing server functionality under a "Host Game" checkbox in "Play." | |||
 |
index : minetest.git | |
| lizzy's patches for luanti |
| aboutsummaryrefslogtreecommitdiff |