[PD] Way to set font to 11pt

[Lorenzo Sutton]

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.