Graphics.UI.Gtk.WebKit.DOM.HTMLDetailsElement
htmlDetailsElementSetOpen
htmlDetailsElementGetOpen
data HTMLDetailsElement
class HTMLDetailsElementClass o
castToHTMLDetailsElement
gTypeHTMLDetailsElement
toHTMLDetailsElement