April 21, 2014
5:59 p.m.
It does not make sense. We should have nice font all the time. Thanks RMoD for taking care of this _crucial_ aspect of the system Alexandre On Apr 21, 2014, at 2:32 PM, stepharo <stepharo@free.fr> wrote:
Hi
when freetype is on do you think that it makes sense to have strikeFont proposed as default fonts? Like it is done right now, I get bitmapVera even if I want to see FreeType fonts.
Stef
-- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.