[PD] Menu bar height (differences across platforms)

[Roman Haefeli]

Hey all

While we're at it, during testing font metrics on different platforms,
I noticed that menus are quite different. On Linux, the menu bar height
is 30px, on Windows 19px. Personally, I find the 30px ugly and too
large. 

Can this be made consistent across platforms, too?

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/d9bceb1a/attachment.sig>