>
>
> So, should I rename it to i.e. 10-Ticker.fnt? As I understand
> your reasoning, leaving it out would be a bad choice IMHO.
> If the user doesn't have the font and tries to load the theme
> he gets the default theme without any indication what went
> wrong. I would have to explain in the description on the theme
> site which font he has to install to make the theme load, where
> to get it, etc.
>
>
No, generally we don't want that - that is why the theme site checks. Just
put a note on saying it requires the font pack (as do the vast majority of
themes).
