
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">

<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>

</head>

<body dir="ltr">

<div id="divtagdefaultwrapper" 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="Signature"><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="divtagdefaultwrapper" 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>

</body>

</html>