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, pd-list-request@lists.iem.at wrote:

Date: Fri, 6 Apr 2018 11:36:30 +0200 From: "Peter P." <peterparker@fastmail.com mailto:peterparker@fastmail.com> To: pd-list <pd-list@iem.at mailto:pd-list@iem.at> Subject: [PD] Gui Font in 0.48.1 on Debian? Message-ID: <20180406093630.v3qqkphqdoo6mbqc@fastmail.com mailto:20180406093630.v3qqkphqdoo6mbqc@fastmail.com> 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/