>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