<div dir="ltr"><div class="gmail_default" style="font-size:small"><div class="gmail_default">Dear list, </div><div class="gmail_default"><br></div><div class="gmail_default">I wonder if there is a way to change the font size of Pd's terminal messages... I tend to use extensive printing, and in my experience, last Pd versions have decreased the terminal font size to a somewhat difficult-to-read size. (I'm on OS X Catalina).</div><div class="gmail_default"><br></div><div class="gmail_default">perhaps it could be done via some tcl script? I'd appreciate any hint in the right direction.</div><div class="gmail_default"><br></div><div class="gmail_default">thanks very much,</div><div class="gmail_default"><br></div></div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div><span style="font-size:12.8px;font-family:arial,helvetica,sans-serif">--</span><br></div><div><font face="arial, helvetica, sans-serif" style="font-size:12.8px">Ángel Faraldo</font><div style="font-size:12.8px"><a href="http://www.angelfaraldo.info/" style="font-size:x-small;color:rgb(17,85,204)" target="_blank">www.angelfaraldo.info<br></a></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div>