<div dir="ltr"><div class="gmail_default" style="font-family:verdana,sans-serif">Here's the same from vanilla 0.46.7.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Apr 23, 2016 at 3:52 PM, IOhannes m zmölnig <span dir="ltr"><<a href="mailto:zmoelnig@iem.at" target="_blank">zmoelnig@iem.at</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 04/23/2016 08:54 PM, Matt Barber wrote:<br>
> seems to use a bold typeface<br>
> as the patch font.<br>
<br>
<br>
</span>i'm not sure what you are reporting here: isn't this (using a bold-face<br>
courier-like font) what Pd has done in the last 20 years?<br>
(only Pd-extended changed the font to regular)<br>
<br>
gmasr<br>
<span class="HOEnZb"><font color="#888888">IOhannes<br>
<br>
</font></span><br>_______________________________________________<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/listinfo/pd-list</a><br>
<br></blockquote></div><br></div>