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 <[email protected]> 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 ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
