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
Tre
ezhh
adrido
Vincent Glize
Elijah Duffy