add HUD element size description

This commit is contained in:
Dirk Sohler 2020-08-07 05:28:52 +02:00
parent dc8729c0f5
commit 471f3aac80
No known key found for this signature in database
GPG Key ID: B9751241BD7D4E1A
2 changed files with 12 additions and 1 deletions

@ -52,6 +52,11 @@ Month=Monat
Seconds=Sekunden Seconds=Sekunden
Year=Jahr Year=Jahr
# HUD Element Scaling Information
If set to 1 the HUD element is unscaled.=Mit 1 als Wert wird die Anzeige nicht vergrößert.
All values larger than 1 scale the element up.=Alle Werte über 1 vergrößern die Anzeige.
Clicking the +/- button changes the size by 1.=Ein Klick auf +/- verändert die Größe um 1.
# Timer Format Variables # Timer Format Variables
In-Game Time=Spielzeit In-Game Time=Spielzeit
Real-World Date=Reale Zeit Real-World Date=Reale Zeit

@ -237,6 +237,12 @@ mtimer.dialog.hud_element_size = function (player_name)
local player = minetest.get_player_by_name(player_name) local player = minetest.get_player_by_name(player_name)
local size = player:get_meta():get_string(m.meta.hud_element_size.key) local size = player:get_meta():get_string(m.meta.hud_element_size.key)
local information = table.concat({
S('If set to 1 the HUD element is unscaled.'),
S('All values larger than 1 scale the element up.'),
S('Clicking the +/- button changes the size by 1.')
}, '\n')
mtimer.show_formspec('mtimer:hud_element_size', { mtimer.show_formspec('mtimer:hud_element_size', {
title = S('HUD Element Size'), title = S('HUD Element Size'),
show_to = player_name, show_to = player_name,
@ -245,7 +251,7 @@ mtimer.dialog.hud_element_size = function (player_name)
'button[0,0;0.5,0.5;substract;'..S('-')..']', 'button[0,0;0.5,0.5;substract;'..S('-')..']',
'field[0.75,0;0.75,0.5;hud_element_size;;'..size..']', 'field[0.75,0;0.75,0.5;hud_element_size;;'..size..']',
'button[1.75,0;0.5,0.5;add;'..S('+')..']', 'button[1.75,0;0.5,0.5;add;'..S('+')..']',
'label[0.025,0.75;'..S('Information')..']' 'label[0.025,1;'..information..']',
} }
}) })
end end