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?
Antoine Rousseau http://www.metalu.net http://metalu.net __ http://www.metaluachahuter.com/ http://www.metaluachahuter.com/compagnies/al1-ant1/
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