[PD] Gui Font in 0.48.1 on Debian?

[Peter P.]

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