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

tweak some new lobby gamelist borders

Browse source
This commit is contained in:
Tomasz Śniatowski 2009-07-12 18:12:12 +01:00
parent 1c6082ccd1
commit 6ec34d6d1d
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -33,7 +33,7 @@
[column]
grow_factor = 1
horizontal_grow = "true"
border = "all"
border = "bottom,top,right"
border_size = 5
[label]
id = {ID}
@ -51,7 +51,7 @@
[column]
grow_factor = 1
horizontal_grow = "true"
border = "all"
border = "bottom,top,right"
border_size = 5
[label]
id = {ID}
@ -77,6 +77,8 @@
#define GAMELISTBOX_BODY_IMAGE ID LABEL
[column]
border = "all"
border_size = 1
[image]
id = {ID}
definition = "default"