{ "font.option_on" },
{ "font.value_1" },
{ "font.value_2" },
+ { "font.value_old_narrow" },
{ "font.value_old" },
{ "font.value_narrow" },
{ "font.level_number.active" },
{
Print(" (%s %d.%d.%d.%d%s)",
PROGRAM_TITLE_STRING,
+ PROGRAM_VERSION_SUPER,
PROGRAM_VERSION_MAJOR,
PROGRAM_VERSION_MINOR,
PROGRAM_VERSION_PATCH,
- PROGRAM_VERSION_BUILD,
PROGRAM_VERSION_EXTRA);
}