2007/6/12, Stephan Assmus <superstippi@xxxxxx>:
They do scale, but with the menu item height. This needs to be fixed so that they scale with the font size. The reason is that there can actually be items with different height in the same menu, and those produce differnet size checkmarks/submenu indicators right now. If no one beats me to it, I can fix that.
I'm fine with it :)