gtk-2.0/gtkrc: menu v3: much better menu