I might be a bug with calculating the size based on current zoom factor. Zoom of 2 with font size 12 is 24...
> On Apr 6, 2018, at 2:41 PM, [email protected] wrote: > > Date: Fri, 6 Apr 2018 11:36:30 +0200 > From: "Peter P." <[email protected] <mailto:[email protected]>> > To: pd-list <[email protected] <mailto:[email protected]>> > Subject: [PD] Gui Font in 0.48.1 on Debian? > Message-ID: <[email protected] > <mailto:[email protected]>> > Content-Type: text/plain; charset=us-ascii > > 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 -------- Dan Wilcox @danomatika <http://twitter.com/danomatika> danomatika.com <http://danomatika.com/> robotcowboy.com <http://robotcowboy.com/>
_______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
