Graphics.UI.Gtk.WebKit.DOM.HTMLFrameElement

htmlFrameElementSetFrameBorder

htmlFrameElementGetFrameBorder

htmlFrameElementSetLongDesc

htmlFrameElementGetLongDesc

htmlFrameElementSetMarginHeight

htmlFrameElementGetMarginHeight

htmlFrameElementSetMarginWidth

htmlFrameElementGetMarginWidth

htmlFrameElementSetName

htmlFrameElementGetName

htmlFrameElementSetNoResize

htmlFrameElementGetNoResize

htmlFrameElementSetScrolling

htmlFrameElementGetScrolling

htmlFrameElementSetSrc

htmlFrameElementGetSrc

htmlFrameElementGetContentDocument

htmlFrameElementGetContentWindow

htmlFrameElementGetWidth

htmlFrameElementGetHeight