luanti-org/luanti
1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-10-25 21:55:25 +02:00
Code Activity
7,064 Commits 5 Branches 73 Tags
65c5539035139428ee8354d7c96565fc392112d2
Commit Graph

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