 Wuzzy
|
ad4b13a0e9
Luanti rename: builtin (#15324)
|
vor 1 Monat |
 grorp
|
132e43346e
Setting structure improvements (#15218)
|
vor 2 Monaten |
 Lars Müller
|
30dcd41d91
Mainmenu: Restore ability to enable flags in settings (#14896)
|
vor 4 Monaten |
 Gregor Parzefall
|
56965bc814
Android: Add `field_enter_after_edit[]` formspec element (#13836)
|
vor 1 Jahr |
|
Gregor Parzefall
|
94eba15c34
Misc. mainmenu fixes (#13859)
|
vor 1 Jahr |
|
Gregor Parzefall
|
4f735fba05
Settings GUI: Noise parameter setting fixes (#13797)
|
vor 1 Jahr |
|
Gregor Parzefall
|
1a568cc491
Fix that negative integer values for float settings don't get a ".0" suffix (#13779)
|
vor 1 Jahr |
 rubenwardy
|
a65cdbe66e
Settings GUI: Use language names rather than codes (#13752)
|
vor 1 Jahr |
 ROllerozxa
|
c816aa5374
Settings GUI: Fix path settings on Windows
|
vor 1 Jahr |
|
Gregor Parzefall
|
f393214fef
Settings menu improvements regarding default values (#13489)
|
vor 1 Jahr |
|
rubenwardy
|
d35672e78e
Redesign/unify mainmenu settings interface
|
vor 2 Jahren |
