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

GUI2/Player Info: removed redundant grid

Browse source
This commit is contained in:
Charles Dang 2020-12-14 23:53:20 +11:00
parent 24c8c3bd01
commit 3ca809d534
1 changed files with 12 additions and 14 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

26
data/gui/window/lobby_player_info.cfg
View file

@ -48,22 +48,16 @@
[/grid]
[/column]
[/row]
[row]
[column]
border = "all"
border_size = 5
horizontal_grow = true
[grid]
[row]
[column]
border = "all"
border_size = 5
horizontal_grow = true
[label]
definition = "default"
id = "location_info"
[/label]
[/column]
[/row]
[/grid]
[label]
definition = "default"
id = "location_info"
[/label]
[/column]
[/row]
@ -133,6 +127,7 @@
[/grid]
[/column]
[/row]
[row]
[column]
grow_factor = 1
@ -148,8 +143,9 @@
border = "all"
border_size = 5
horizontal_alignment = "left"
[label]
definition = "default"
definition = "title"
label = _ "Moderator Controls"
[/label]
[/column]
@ -178,6 +174,7 @@
grow_factor = 1
border = "all"
border_size = 5
horizontal_grow = true
[text_box]
definition = "default"
@ -203,6 +200,7 @@
grow_factor = 1
border = "all"
border_size = 5
horizontal_grow = true
[text_box]
definition = "default"