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

add a TINY font size in gui2...

Browse source 
...and a default_tiny label definition, used it in new lobby
This commit is contained in:
Tomasz Śniatowski 2009-07-07 19:50:58 +01:00
parent 59a04d94a7
commit c82645a4a4
3 changed files with 10 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
data/gui/default/macros/_initial.cfg
View file

@ -161,6 +161,10 @@
window_height = 480
#enddef
#define GUI_TINY__FONT_SIZE__TINY
8
#enddef
#define GUI_TINY__FONT_SIZE__SMALL
9
#enddef
@ -188,6 +192,10 @@
window_height = 0
#enddef
#define GUI_NORMAL__FONT_SIZE__TINY
10
#enddef
#define GUI_NORMAL__FONT_SIZE__SMALL
12
#enddef

1
data/gui/default/widget/label_default.cfg
View file

@ -96,6 +96,7 @@
{_GUI_DEFINITION "default" "default label" DEFAULT () DEFAULT }
{_GUI_DEFINITION "title" "label used for titles" TITLE "bold" TITLE }
{_GUI_DEFINITION "default_small" "default, small font size" SMALL () DEFAULT }
{_GUI_DEFINITION "default_tiny" "default, small font size" TINY () DEFAULT }
#undef _GUI_DEFINITION
#undef _GUI_RESOLUTION

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

@ -163,7 +163,7 @@
border_size = 1
[label]
id = "time_limit_text"
definition = "default_small"
definition = "default_tiny"
[/label]
[/column]
{GAMELISTBOX_BODY_IMAGE "vision_icon" ""}