Found out the button should use the small font,

...also restored the normal font to its previous value.
This commit is contained in:
Mark de Wever 2008-08-22 18:58:44 +00:00
parent 41aeb68c43
commit af42d9eb9c
2 changed files with 3 additions and 3 deletions

View file

@ -113,7 +113,7 @@
#enddef
#define GUI_NORMAL__FONT_SIZE__DEFAULT
13
14
#enddef
#define GUI_NORMAL__FONT_SIZE__LARGE

View file

@ -93,8 +93,8 @@
description = "Default button"
# Tiny gui sizes haven't been tested yet so might need some tuning.
{_GUI_RESOLUTION ({GUI_TINY__RESOLUTION}) 20 54 11 6 2 ({GUI_TINY__FONT_SIZE__DEFAULT}) }
{_GUI_RESOLUTION () 40 108 22 13 4 ({GUI_NORMAL__FONT_SIZE__DEFAULT}) }
{_GUI_RESOLUTION ({GUI_TINY__RESOLUTION}) 20 54 11 6 2 ({GUI_TINY__FONT_SIZE__SMALL}) }
{_GUI_RESOLUTION () 40 108 22 13 4 ({GUI_NORMAL__FONT_SIZE__SMALL}) }
[/button_definition]