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.
I could be wrong, but I think currently there is not a way to spec font sizes that are not in the Font Size Panel.
.hc
On Mon, 2011-10-10 at 23:00 +0200, Lorenzo Sutton wrote:
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.
Pd-list@iem.at mailing list UNSUBSCRIBE and account-management -> http://lists.puredata.info/listinfo/pd-list