But you are taking an internal format passed between the GUI and the core and exposing it to become a public API. And that format virtually guarantees that users will misunderstand how it works:
Ok, so then a new flag?
-fontmetrics <name> … vanilla or extended
Or something like that?
Mensaje telepatico asistido por maquinas.
From: Jonathan Wilkes jancsika@yahoo.com Sent: Monday, February 20, 2017 4:08 PM To: Lucas Cordiviola; pd-list@lists.iem.at Subject: Re: [PD] (wip) Preferences file.
Why do you want to add font metrics to the preferences? That is information that the GUI toolkit should produce automatically.
Look here:
https://github.com/pure-data/pure-data/wiki/Crossplatform-font-metrics-&...
Here it is shown the diff between Vanilla & extended:
http://lucarda.com.ar/x/Van-Ext-diff.jpg
There are chances that you may prefer one of these 2 settings, depending on your amount of patches done on Vanilla or Extended.
I get that. But you are taking an internal format passed between the GUI and the core and exposing it to become a public API. And that format virtually guarantees that users will misunderstand how it works:
"I told Pd to make the 12pt font 7x15 pixels, but it is isn't 7x15. Is this a bug?"
-Jonathan
Of course this could be set outside of the preferences on a separate file.
Mensaje telepatico asistido por maquinas.