Graphics.UI.Gtk.WebKit.DOM.HTMLFrameElement
setFrameBorder
getFrameBorder
setLongDesc
getLongDesc
setMarginHeight
getMarginHeight
setMarginWidth
getMarginWidth
setName
getName
setNoResize
getNoResize
setScrolling
getScrolling
setSrc
getSrc
getContentDocument
getContentWindow
getWidth
getHeight
data HTMLFrameElement
castToHTMLFrameElement
gTypeHTMLFrameElement
class HTMLFrameElementClass o
toHTMLFrameElement