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



_______________________________________________
Pd-list@lists.iem.at mailing list
UNSUBSCRIBE and account-management -> 
https://lists.puredata.info/listinfo/pd-list

Reply via email to