3 Commits

Author	SHA1	Message	Date
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