Graphics.UI.Gtk.WebKit.DOM.HTMLIFrameElement
setAlign
getAlign
setFrameBorder
getFrameBorder
setHeight
getHeight
setLongDesc
getLongDesc
setMarginHeight
getMarginHeight
setMarginWidth
getMarginWidth
setName
getName
setSandbox
getSandbox
setScrolling
getScrolling
setSrc
getSrc
setSrcdoc
getSrcdoc
setWidth
getWidth
getContentDocument
getContentWindow
data HTMLIFrameElement
castToHTMLIFrameElement
gTypeHTMLIFrameElement
class HTMLIFrameElementClass o
toHTMLIFrameElement