Zughy
c2c8d4d410
Remove controls listed in the pause menu (no touchscreen) ( #13282 )
2024-01-05 20:10:07 +00:00
Gregor Parzefall
8bf2031310
Get rid of hidden settings in settings_translation_file.cpp
2023-11-11 11:59:38 +01:00
Wuzzy
af474d10a4
Fix bad translation function names in builtin ( #13977 )
2023-11-10 07:00:17 +07:00
Muhammad Rifqi Priyo Susanto
1363059416
Fix issues in Minetest's English texts ( #13913 )
...
Co-authored-by: Gregor Parzefall <82708541+grorp@users.noreply.github.com>
Co-authored-by: rubenwardy <rw@rubenwardy.com>
Co-authored-by: Desour <ds.desour@proton.me>
Co-authored-by: sfan5 <sfan5@live.de>
2023-10-29 12:24:39 +01:00
Gregor Parzefall
b1dec37adb
Clean up and improve mainmenu theme / game theme code ( #13885 )
2023-10-18 20:18:50 +02:00
Gregor Parzefall
26bb397852
Add advanced settings checkbox and hide advanced settings by default ( #13861 )
...
Co-authored-by: rubenwardy <rw@rubenwardy.com>
2023-10-07 21:34:59 +02:00
Muhammad Rifqi Priyo Susanto
c60d971bc4
Move unsupported language list into a separate file ( #13865 )
2023-10-05 17:29:02 +02:00
Gregor Parzefall
56965bc814
Android: Add field_enter_after_edit[] formspec element ( #13836 )
2023-10-01 11:20:50 +02:00
rubenwardy
a65cdbe66e
Settings GUI: Use language names rather than codes ( #13752 )
2023-08-24 00:33:23 +01:00
rubenwardy
d16d1a1341
Settings GUI: Add setting dependencies ( #13704 )
2023-08-05 17:55:27 +01:00
rubenwardy
752ce1a1b2
Settings GUI: Move shadow presets to Shaders, remove Most Used ( #13713 )
2023-08-05 17:33:18 +01:00
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
