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