Dear list, 

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).

perhaps it could be done via some tcl script? I'd appreciate any hint in the right direction.

thanks very much,