Graphics.UI.Gtk.WebKit.DOM.HTMLIFrameElement
htmliFrameElementSetAlign
htmliFrameElementGetAlign
htmliFrameElementSetFrameBorder
htmliFrameElementGetFrameBorder
htmliFrameElementSetHeight
htmliFrameElementGetHeight
htmliFrameElementSetLongDesc
htmliFrameElementGetLongDesc
htmliFrameElementSetMarginHeight
htmliFrameElementGetMarginHeight
htmliFrameElementSetMarginWidth
htmliFrameElementGetMarginWidth
htmliFrameElementSetName
htmliFrameElementGetName
htmliFrameElementSetSandbox
htmliFrameElementGetSandbox
htmliFrameElementSetScrolling
htmliFrameElementGetScrolling
htmliFrameElementSetSrc
htmliFrameElementGetSrc
htmliFrameElementSetWidth
htmliFrameElementGetWidth
htmliFrameElementGetContentDocument
htmliFrameElementGetContentWindow
data HTMLIFrameElement
class HTMLIFrameElementClass o
castToHTMLIFrameElement
gTypeHTMLIFrameElement
toHTMLIFrameElement