<div dir="ltr"><span style="font-size:12.8px">Ok, seems we have yet another thread to keep discussing a same topic that I kinda started. Anyway, if the focus of the debate has changed indeed, I suggest changing the thread name and adding (was: "xxxx" <= old thread subject), in this case: (was: (wip) Preferences file).</span><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">So, I did bring this up, how patches look differently in vanilla according to the operating system, and how they look different from extended / purr data (which, on their own, look consistent in all platforms and also look like each other!).</span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">Changing the font metrics from Vanilla to extended's/purr data's doesn't compromise the patch as the other way around does. </span><span style="font-size:12.8px">Cause opening extended patches in the vanilla's metrics does compromise the visual experience a lot, creating all sorts of overlaps...</span><span style="font-size:12.8px"> I already pointed this out in the previous threads. </span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">So, keeping it objective and not to repeat myself too much, I consider this an issue, an undesired behaviour, a bug, whatever, and I hope we could fix it. Any opposition? What is the best way to do this?</span></div><div><br></div><div><div style="font-size:12.8px">cheers</div><div><br></div><div><br></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">2017-02-21 19:05 GMT-03:00 Lucas Cordiviola <span dir="ltr"><<a href="mailto:lucarda27@hotmail.com" target="_blank">lucarda27@hotmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">




<div dir="ltr">
<div id="m_3008013191361322235divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Arial,Helvetica,sans-serif" dir="ltr">
<p></p>
<div>>> Ok, if that's the case then I would suggest not to add a user-facing font-metrics option.</div>
<div><br>
</div>
<div>>+1</div>
<div><br>
</div>
<div>>i'd also like to add, that we should not (ever) add an option with the</div>
<div>sole purpose of working around bugs.</div>
<div><br>
</div>
<div>Is it a bug?</div>
<div><br>
</div>
<div>>if you consider the slightly different font sizes a bug (and i gather</div>
<div>you do), then we should find a solution to the bug itself (rather than</div>
<div>provide an easy way to make everything worse).</div>
<div><br>
</div>
<div>Yes.</div>
<div><br>
</div>
<div>>if you only consider them an annoyance, you might want to investigate in</div>
<div>creating a gui-plugin that fixes the problem.</div>
<div><br>
</div>
<div>We have a problem.</div>
<div><br>
</div>
<div>>(it seems that currently, Pd-gui signals the font metrics back to</div>
<div>Pd-core, which will (among other things) trigger Pd-core to load it's</div>
<div>libraries. it might be worth entangling *that*)</div>
<div><br>
</div>
<div>Yes, I cant override or change the variable “font_metrics” set @ line 127 from “pd-gui.tcl” using a gui-plugin.</div>
<div><br>
</div>
<div>Is it posible?</div>
<div><br>
</div>
<div>I still think that shipping dejavu and hard-code Pd-extended metrics is full of goodness.</div>
<div><br>
</div>
<div>Salutti,</div>
<div>Lucarda</div>
<div><br>
</div>
<div><br>
</div>
<div>>fgamdsr</div>
<div>>IOhannes </div>
<div><br>
</div>
<div><br>
</div>
<br>
<p></p>
<p><br>
</p>
<div id="m_3008013191361322235Signature"><font face="Courier New, Courier, Monospace" size="2">Mensaje telepatico asistido por maquinas.</font>
</div>
<br>
<div style="color:rgb(0,0,0)">
<div>
<div id="m_3008013191361322235divtagdefaultwrapper" dir="ltr" style="font-size:12pt;color:#000000;font-family:Calibri,Arial,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div class="gmail_extra"><br>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>

<br>______________________________<wbr>_________________<br>
<a href="mailto:Pd-list@lists.iem.at">Pd-list@lists.iem.at</a> mailing list<br>
UNSUBSCRIBE and account-management -> <a href="https://lists.puredata.info/listinfo/pd-list" rel="noreferrer" target="_blank">https://lists.puredata.info/<wbr>listinfo/pd-list</a><br>
<br></blockquote></div><br></div>