In 0.43 I set the font to 12pt as the 10pt DejaVu Sans Mono is just a
bit too small for me. But 12 is just a bit too big. I guess 11 would be
ok, but how to set it? I tried command line flag but it seems to be
ignored and the menu has fixed sizes 8, 10, 12,16 etc.
Otherwise what were the default font settings in Pd (extended) 0.42.x?
Thanks
Lorenzo.