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. <peterpar...@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. <peterpar...@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 >
_______________________________________________ Pd-list@lists.iem.at mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
