gEDA

  1. Bug #1099453
  2. Comment #4

Comment 4 for bug 1099453

Revision history for this message
Peter TB Brett (peter-b) wrote :

This is a lot tidier!

Setting the property makes a copy of the string, so you can free the font name straight away.

Also, I'm not sure whether it's worth allowing different fonts for display and export. What do you think? I'm sort of leaning in favour of the way you've set it up with just a single setting, TBH.