[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