QStyleOptionMenuItem::Margin is not used by anything

QStyleOptionMenuItem::Margin is described by documentation as "The margin of the menu", but it isn't actually used anywhere in qtbase, so it cannot be used without making a custom widget class.

I personally don't need it, but when writing QStyles, it adds a bit of uncertainty. It seems that it's usually handled like QStyleOptionMenuItem::EmptyArea in Qt's QStyles.