Graphics.UI.Gtk.WebKit.DOM.HTMLMenuElement
htmlMenuElementSetCompact
htmlMenuElementGetCompact