Update default button padding to prevent content from being clipped

This commit is contained in:
Hugues Ross 2021-11-03 16:41:28 -04:00
parent f9e9e0ae53
commit 4d46008a2d
2 changed files with 3 additions and 0 deletions

View File

@ -141,6 +141,7 @@ local function show_map_formspec(map, player_x, player_z, player_name, height_mo
bgimg_hovered = skin.marker_button.hovered_texture .. ".png",
bgimg_pressed = skin.marker_button.pressed_texture .. ".png",
bgimg_middle = skin.marker_button.radius,
padding = skin.marker_button.padding or -skin.marker_button.radius,
textcolor = skin.marker_button.font_color,
},
},

View File

@ -156,6 +156,7 @@ function fs.header(w, h, rank, tab, skin)
bgimg_hovered = skin.tab.hovered_texture .. ".png",
bgimg_pressed = skin.tab.pressed_texture .. ".png",
bgimg_middle = skin.tab.radius,
padding = skin.tab.padding or -skin.tab.radius,
textcolor = skin.tab.font_color,
}
},
@ -213,6 +214,7 @@ function fs.header(w, h, rank, tab, skin)
bgimg_hovered = skin.button.hovered_texture .. ".png",
bgimg_pressed = skin.button.pressed_texture .. ".png",
bgimg_middle = skin.button.radius,
padding = skin.button.padding or -skin.button.radius,
textcolor = skin.button.font_color,
},