[PD] Menu bar height (differences across platforms)

[Roman Haefeli]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 473 bytes
Desc: This is a digitally signed message part
URL: <http://lists.puredata.info/pipermail/pd-list/attachments/20170216/499ffa2f/attachment.sig>