No problem here on ubuntu16.04/gnome "flashback", with self-compiled Pd.
Do you still have the problem if you compile and install Pd by yourself?



2018-04-16 14:42 GMT+02:00 Peter P. <peterparker@fastmail.com>:
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@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

_______________________________________________
Pd-list@lists.iem.at mailing list
UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list