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