>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 <[email protected]> Sent: Monday, February 20, 2017 4:08 PM To: Lucas Cordiviola; [email protected] 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-&-comparisons > 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.
_______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
