Graphics.UI.Gtk.WebKit.DOM.HTMLDetailsElement

htmlDetailsElementSetOpen

htmlDetailsElementGetOpen

data HTMLDetailsElement

class HTMLDetailsElementClass o

castToHTMLDetailsElement

gTypeHTMLDetailsElement

toHTMLDetailsElement