Hi, I'm using the latest version and I've got a small font problem. All fonts in top column in all tabs are bold/too big (see screenshot below as it's hard to describe). It's not homogeneous with the rest of the fonts.
I don't know if it's a bug, but after seeing this screenshot (
http://i.imgur.com/iV9JB.png), I think it is.
Using Windows 7 x64.