[PD] Gui Font in 0.48.1 on Debian?

Peter P. peterparker at fastmail.com
Mon Apr 16 14:42:58 CEST 2018


Has anyone else got the same problem? I am reluctant to go back to
apt/Debian's pd 0.47.1-3.

Thanks!
P

* Peter P. <peterparker at fastmail.com> [2018-04-06 11:36]:
> 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



More information about the Pd-list mailing list