Or try 0 "cero"
Mensaje telepatico asistido por maquinas.
From: Pd-list pd-list-bounces@lists.iem.at on behalf of Lucas Cordiviola lucarda27@hotmail.com Sent: Thursday, February 16, 2017 12:53 PM To: pd-list@lists.iem.at Subject: Re: [PD] Menu bar height (differences across platforms)
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 pd-list-bounces@lists.iem.at on behalf of Roman Haefeli reduzent@gmail.com Sent: Thursday, February 16, 2017 12:42 PM To: pd-list@lists.iem.at 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