Hi list,
with the latest Debian testing versions (0.48.1) the font for the console menus comes up with 24pt size, although the font dialog indicates 12pt. Upon clicking 12pt once more the font changes to 12pt.
My .pdsettings file holds -font-size 12
but the described behavior exists also when starting Pd with the -noprefs flag.
Starting Pd with -verbose -d 3 gives a hint about the used font {DejaVu Sans Mono} bold
Explicitely starting pd -font-weight normal -font-size 12 -font-face "DejaVu Sans Mono" does not help either.
Is this problem known?
Thank you for packaging and maintaining Pd for Debian! Peter