
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

<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>I don't think of it as a bug but as an enhancement.</div>

<div><br>

</div>

<div>If it is really easy to switch between those 2 font metrics, w<span style="font-size: 12pt;">hich one will be the default?</span></div>

<div><br>

</div>

<div>The one that is not compatible with Purr Data and Extended?</div>

<div><br>

</div>

<div>I personally can perfectly live without that option.</div>

<br>

<p></p>

<p>Salutti,</p>

<p>Lucarda.</p>

<p><br>

</p>

<div id="Signature"><font face="Courier New, Courier, Monospace" size="2">Mensaje telepatico asistido por maquinas.</font>

</div>

<br>

<br>

<div style="color: rgb(0, 0, 0);">

<div>

<hr tabindex="-1" style="display:inline-block; width:98%">

<div id="x_divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" color="#000000" style="font-size:11pt"><b>From:</b> Pd-list <pd-list-bounces@lists.iem.at> on behalf of zmoelnig@iem.at <zmoelnig@iem.at><br>

<b>Sent:</b> Monday, February 20, 2017 7:21 PM<br>

<b>To:</b> pd-list@lists.iem.at<br>

<b>Subject:</b> Re: [PD] (wip) Preferences file.</font>

<div> </div>

</div>

</div>

<font size="2"><span style="font-size:10pt;">

<div class="PlainText">On 02/20/2017 07:26 PM, Jonathan Wilkes via Pd-list wrote:<br>

> Ok, if that's the case then I would suggest not to add a user-facing font-metrics option.<br>

<br>

+1<br>

<br>

i'd also like to add, that we should not (ever) add an option with the<br>

sole purpose of working around bugs.<br>

if you consider the slightly different font sizes a bug (and i gather<br>

you do), then we should find a solution to the bug itself (rather than<br>

provide an easy way to make everything worse).<br>

if you only consider them an annoyance, you might want to investigate in<br>

creating a gui-plugin that fixes the problem.<br>

(it seems that currently, Pd-gui signals the font metrics back to<br>

Pd-core, which will (among other things) trigger Pd-core to load it's<br>

libraries. it might be worth entangling *that*)<br>

<br>

fgamdsr<br>

IOhannes<br>

<br>

</div>

</span></font></div>

</div>

</body>

</html>