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

MP Lobby: fixed a few layout issues

Browse source
This commit is contained in:
Charles Dang 2016-08-13 13:08:26 +11:00
parent 6f179bf4d0
commit bacece459c
2 changed files with 19 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
data/gui/widget/scroll_label_description.cfg
View file

@ -119,4 +119,18 @@
[/scroll_label_definition]
[scroll_label_definition]
id = "description_small"
description = "A small scroll label type used for description boxes."
{_GUI_RESOLUTION
({GUI_NORMAL__RESOLUTION})
({GUI_NORMAL__FONT_SIZE__SMALL})
()
({GUI__FONT_COLOR_ENABLED__DEFAULT})
({GUI__FONT_COLOR_DISABLED__DEFAULT})
}
[/scroll_label_definition]
#undef _GUI_RESOLUTION

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

@ -570,7 +570,7 @@ border_size = 5
border_size = 5
[scroll_label]
id = "log_text"
definition = "description"
definition = "description_small"
vertical_scrollbar_mode = "always"
horizontal_scrollbar_mode = "never"
@ -790,14 +790,14 @@ border_size = 5
horizontal_grow = "true"
[grid]
[row]
grow_factor = 1
grow_factor = 0
[column]
horizontal_grow = "true"
vertical_grow = "true"
border = "all"
border_size = 5
{GUI_FORCE_OUTLINED_WIDGET_MINIMUM_SIZE
0 "((screen_height * if(screen_height < 800, 30, 50)) / 100)"
0 "((screen_height * if(screen_height <= 800, 35, 55)) / 100)"
5 1 {GUI__BORDER_COLOR} (
{GAMELISTBOX}
)}
@ -816,11 +816,11 @@ border_size = 5
{GUI_HORIZONTAL_SPACER_LINE}
[row]
grow_factor = 0
grow_factor = 1
[column]
horizontal_grow = "true"
vertical_grow = "true"
{GUI_FORCE_WIDGET_MINIMUM_SIZE 0 "((screen_height * 30) / 100)" (
{GUI_FORCE_WIDGET_MINIMUM_SIZE 0 "((screen_height * if(screen_height <= 800, 20, 30) / 100))" (
{_GUI_CHAT_AREA}
)}
[/column]