rubenwardy
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
Andrey
5066fe7583
MainMenu: Add clear button and icon for search input ( #10363 )
2020-12-19 22:00:20 +01:00
Wuzzy
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
rubenwardy
8e757859d6
Add luacheck to check builtin ( #7895 )
2019-08-06 19:30:18 +01:00
Wuzzy
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
ChimneySwift
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
Tre
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
Tre
3a5959ae6b
Main menu: Change tabs to 'Start Game' and 'Join Game' ( #6955 )
2018-01-25 20:59:24 +01:00
ezhh
c655984849
Mainmenu: Improve button alignment
2017-11-19 00:24:40 +00:00
adrido
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
Vincent Glize
367d218f2b
Change the server description after a search ( #6074 )
2017-06-29 07:53:44 +02:00
Elijah Duffy
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
