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

MP Lobby: few layout fixes for the low-res version

Browse source
This commit is contained in:
Charles Dang 2016-08-17 11:32:43 +11:00
parent 6382660fd3
commit 483fda8638
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -700,6 +700,7 @@
[/helptip]
[grid]
[row]
grow_factor = 0
[column]
horizontal_grow = "true"
[grid]
@ -816,7 +817,7 @@
vertical_grow = "true"
border = "all"
border_size = 5
{GUI_FORCE_OUTLINED_WIDGET_MINIMUM_SIZE 0 "((screen_height * 35) / 100)" 5 1 {GUI__BORDER_COLOR} (
{GUI_FORCE_WIDGET_MINIMUM_SIZE 0 "((screen_height * 35) / 100)" (
{GAMELISTBOX}
)}
[/column]
@ -824,7 +825,6 @@
[row]
grow_factor = 0
[column]
vertical_grow = "true"
horizontal_grow = "true"
{_GUI_FILTER_AREA}
[/column]
@ -834,6 +834,7 @@
grow_factor = 1
[column]
horizontal_grow = "true"
vertical_grow = "true"
{GUI_FORCE_WIDGET_MINIMUM_SIZE 0 "((screen_height * 20) / 100)" (
[grid]
[row]