>Is it overridden somewhere? I'm lost... could be.
Recently there were mentions for negative values on pixel settings: I`m totally blind on linux. Try -10 seems negative values inhibits resizing. just to try. Mensaje telepatico asistido por maquinas. ________________________________ From: Pd-list <[email protected]> on behalf of Roman Haefeli <[email protected]> Sent: Thursday, February 16, 2017 12:42 PM To: [email protected] Subject: Re: [PD] Menu bar height (differences across platforms) On Don, 2017-02-16 at 12:26 +0000, Lucas Cordiviola wrote: > Line 351 > > set ::menubarsize 22 > > ? Thanks, that looks promising, but it doesn't do anything on Linux when editing the value for x11 window system (it is already configured to 19, but resulting height is 30px). Is it overridden somewhere? I'm lost... Roman
_______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
