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
Description: This is a digitally signed message part
_______________________________________________ Pdemail@example.com mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list