luanti-org/luanti
1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-10-13 16:45:20 +02:00
Code Activity
7,057 Commits 5 Branches 73 Tags
a5d5728f241fec8644ba65cb3b98c7dd1be2eee3
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