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