adrido
697fe27668
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
2019-02-16 15:14:58 +13:00
Vincent Glize
923d72add9
Change the server description after a search ( #6074 )
2019-02-10 20:10:03 +13:00
ChimneySwift
a723cca2b4
Escape special characters when searching the server list ( #7842 )
...
Simple fix to stop searching for "[" or other special characters causing a crash.
2019-02-05 21:48:24 +13:00
ezhh
0e13ebe796
Mainmenu: Improve button alignment
2019-02-05 16:54:19 +13: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
