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