042131d91d
Mainmenu: Improve "Join Game" tab ( #11078 )
2021-03-20 19:48:25 +01:00
67aa75d444
Use JSON for favorites, move server list code to Lua ( #10085 )
...
Co-authored-by: sfan5 <sfan5@live.de>
2021-01-22 15:08:57 +00:00
5066fe7583
MainMenu: Add clear button and icon for search input ( #10363 )
2020-12-19 22:00:20 +01:00
625b100593
Add comments for translators ( #9510 )
...
* Add translator comments for "special" strings
* Add translator comments for some "tricky" strings
2020-03-20 09:41:07 +01:00
8e757859d6
Add luacheck to check builtin ( #7895 )
2019-08-06 19:30:18 +01:00
705b454026
Remove fgettext("") in builtin
...
This call is useless and wrong, the empty string has a special meaning in Gettext.
2019-02-09 20:12:56 +01:00
6c42ebfafa
Escape special characters when searching the server list ( #7842 )
...
Simple fix to stop searching for "[" or other special characters causing a crash.
2018-11-10 14:46:51 +01:00
5ef9056e89
Add a refresh button to the serverlist ( #6957 )
...
* add refresh button
* Make search and refresh buttons smaller
* Change to image button
2018-02-19 08:25:57 +01:00
3a5959ae6b
Main menu: Change tabs to 'Start Game' and 'Join Game' ( #6955 )
2018-01-25 20:59:24 +01:00
c655984849
Mainmenu: Improve button alignment
2017-11-19 00:24:40 +00:00
e6e5fa3bf8
Formspec: textarea with scrollbar improvements
...
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-10-09 08:11:03 +02:00
367d218f2b
Change the server description after a search ( #6074 )
2017-06-29 07:53:44 +02:00
4dc97eb99f
Menu: Merge singleplayer and server tabs ( #5627 )
...
Rename "Singleplayer" tab to "Play" and remove "Server" tab placing server functionality under a "Host Game" checkbox in "Play."
2017-05-21 10:07:05 +02:00
sfan5