+0.8 I mostly agree with Alex, especially on that extended metrics look bad on vanilla & not the other way round.
There's lots of extended help patches around. Should I try: Vanilla old style gui-plugin? : ) Mensaje telepatico asistido por maquinas. ________________________________ From: Pd-list <[email protected]> on behalf of Alexandre Torres Porres <[email protected]> Sent: Tuesday, February 21, 2017 1:54 AM To: [email protected] Subject: Re: [PD] (wip) Preferences file. I'd like to focus on a central point of this discussion. Seems like Lucas is just hoping to add a new fonts metric settings to Pd. Ok, doing that may raise many complicated issues, like changing a lot of stuff so you can set it one way or the other... And he can go ahead and make a plug in for that... but maybe we could also just talk about if we can change the font metrics for good, hard code it to that, so it aligns to the way Pd Extended and Purr Data work. Changing the metrics from Vanilla to extended's/purr data's doesn't compromise the patch as the other way around dows, I already pointed this out. It'll look different, sure, but it's not like vanilla's look is so sacred, I mean, we still don't have the same fonts for every platform... we already have issues within the distribution itself, where a patch from Mac OS overlaps in linux/windows... all sorts of things, I don't see this as a sacred cow going to the slaughter! On the other hand, opening extended patches in the vanilla metrics does compromise the visual experience a lot, creating all sorts of overlaps. if sticking to one is the way to go, for sake of simplicity and maintaining that code (a good point), makes a lot sense that vanilla sticks to the metrics and looks of extended and purr data... I only see advantages, cause the way it is right now, just drives these forks apart... And I, for one, am not willing to work on different documentation and patches for vanilla and purr data, cause it'd be too crazy... I'll stick to one, and I choose the old extended and new purr data way, as they're convenient to me. cheers 2017-02-20 18:33 GMT-03:00 IOhannes m zmölnig <[email protected]<mailto:[email protected]>>: On 02/20/2017 08:57 PM, Lucas Cordiviola wrote: > I don't think of it as a bug but as an enhancement. then you should implement it as a gui-plugin. (that's the purpose of gui-plugins: enhance the gui, without adding more code to the core that somebody has to maintain). gfmadsr IOhannes _______________________________________________ [email protected]<mailto:[email protected]> mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
_______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
