4 commits

Author	SHA1	Message	Date
Gregor Parzefall	a857c46e6e	Make the settings GUI more usable on Android (#13543)	2023-06-05 12:01:54 +02:00
ROllerozxa	394dd9ffa5	Fix settings dialog not resetting filter when closed (#13513)	2023-05-27 15:35:01 +01:00
Gregor Parzefall	f393214fef	Settings menu improvements regarding default values (#13489) ... The reset button now removes the setting from minetest.conf instead of setting it to its default value. The reset button is now shown whenever a value is present in minetest.conf Float settings now get a .0 suffix if they have no decimal places.	2023-05-18 20:32:26 +02:00
rubenwardy	d35672e78e	Redesign/unify mainmenu settings interface	2023-05-01 17:11:41 +01:00