0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

MP Lobby: increased padding in tab bar

Browse source
This commit is contained in:
Charles Dang 2023-12-27 17:22:55 -05:00
parent a79f01799b
commit 2836afe644
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
data/gui/window/lobby_main.cfg
View file

@ -29,7 +29,7 @@
[column]
border = all
border_size = 5
border_size = 10
[spacer][/spacer]
@ -38,7 +38,7 @@
[column]
grow_factor = 1
border = all
border_size = 5
border_size = 10
[label]
id = "tab_label"
@ -49,7 +49,7 @@
[column]
border = all
border_size = 5
border_size = 10
[spacer][/spacer]