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