* Menu hints: Extra font added

- Font size set by Menu/Settings/Font settings/Menu/Menu hints
This commit is contained in:
micha-bbg
2012-07-12 00:26:52 +02:00
parent 108b8d9523
commit ee781bd880
7 changed files with 13 additions and 6 deletions

View File

@@ -548,6 +548,7 @@ const char * locale_real_names[] =
"fontsize.infobar_number",
"fontsize.infobar_small",
"fontsize.menu",
"fontsize.menu_hint",
"fontsize.menu_info",
"fontsize.menu_title",
"hdd_10min",