widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #01558
Re: [Merge] lp:~widelands-dev/widelands/fh1 into lp:widelands
> should I use the font specified in the game option everywhere? I think it makes sense. Especially since, as for now, all widgets use the same font in all places - no special font in ui_fsmenu is used anymore.
That would be a good thing, yes. I would However keep special font where explicitly defined (e.g. Widelands.ttf used for "Widelands")
Maybe it would be good to add a <rt text-style=sans / serif> in the long term and make sans and serif selectable? - than we could get rid of almost all explicite font definitions (but maybe Widelands.ttf) as the font renderer would set the appropriate font connected to sans resp. serif - but well I am getting off topic sorry - this should go to a bug report / wishlist item
--
https://code.launchpad.net/~widelands-dev/widelands/fh1/+merge/177228
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/fh1.
References