Commit Graph

8 Commits

Author SHA1 Message Date
Wuzzy
705b454026 Remove fgettext("") in builtin
This call is useless and wrong, the empty string has a special meaning in Gettext.
2019-02-09 20:12:56 +01:00
ChimneySwift
6c42ebfafa Escape special characters when searching the server list (#7842)
Simple fix to stop searching for "[" or other special characters causing a crash.
2018-11-10 14:46:51 +01:00
Tre
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
Tre
3a5959ae6b Main menu: Change tabs to 'Start Game' and 'Join Game' (#6955) 2018-01-25 20:59:24 +01:00
ezhh
c655984849 Mainmenu: Improve button alignment 2017-11-19 00:24:40 +00:00
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