From 87adca16ac9ea9cf2fd76d6505d3e5de568db2f7 Mon Sep 17 00:00:00 2001 From: Charles Dang Date: Fri, 10 Nov 2017 13:05:29 +1100 Subject: [PATCH] Lobby Main: tweak player list entry borders [ci skip] No wonder this list looked messy. The labels didn't have full borders! --- data/gui/window/lobby_main.cfg | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/data/gui/window/lobby_main.cfg b/data/gui/window/lobby_main.cfg index 6d34947706c9c..7aa2bf743ed24 100644 --- a/data/gui/window/lobby_main.cfg +++ b/data/gui/window/lobby_main.cfg @@ -349,7 +349,7 @@ [column] border = "all" border_size = 5 - vertical_alignment = "top" + vertical_alignment = "center" [image] id = "icon" @@ -362,8 +362,8 @@ grow_factor = 1 horizontal_grow = true - border = "right" - border_size = 8 + border = "all" + border_size = 5 [label] id = "name"