From d74c4c90aecf0e015d99818a3100aabdca0b6419 Mon Sep 17 00:00:00 2001 From: Mark de Wever Date: Mon, 5 Apr 2010 13:06:14 +0000 Subject: [PATCH] Add a border to the title screen. --- data/gui/default/window/title_screen.cfg | 48 ++++++++++++++++++++++++ 1 file changed, 48 insertions(+) diff --git a/data/gui/default/window/title_screen.cfg b/data/gui/default/window/title_screen.cfg index 5532e6b3492..8d48f02617d 100644 --- a/data/gui/default/window/title_screen.cfg +++ b/data/gui/default/window/title_screen.cfg @@ -48,6 +48,34 @@ [/window_definition] +#define _GUI_H_SPACER + [column] + + [spacer] + # 17 emperical determined the border is 20 pixels at 768 and + # offsetted for the 5 pixels border between widgets this value + # seems right + # + # NOTE the engine doesn't recalculate the height upon scaling. + definition = "default" + width = "((17 * screen_width) / 768)" + [/spacer] + + [/column] +#enddef + +#define _GUI_V_SPACER + [column] + + [spacer] + # NOTE the engine doesn't recalculate the height upon scaling. + definition = "default" + height = "((22 * screen_height) / 1024)" + [/spacer] + + [/column] +#enddef + #define _GUI_TIP_SECTION [panel] definition = "title_screen" @@ -237,7 +265,15 @@ [row] + {_GUI_V_SPACER} + + [/row] + + [row] + grow_factor = 1 + [column] + horizontal_grow = "true" vertical_grow = "true" @@ -267,6 +303,8 @@ [row] + {_GUI_H_SPACER} + [column] vertical_alignment = "bottom" {_GUI_TIP_SECTION} @@ -291,6 +329,8 @@ [/column] + {_GUI_H_SPACER} + [/row] [/layer] @@ -303,6 +343,12 @@ [/row] + [row] + + {_GUI_V_SPACER} + + [/row] + [/grid] [/resolution] @@ -312,3 +358,5 @@ #undef _GUI_TIP_SECTION #undef _GUI_MENU_SECTION #undef _GUI_BUTTON +#undef _GUI_H_SPACER +#undef _GUI_V_SPACER