Graphics.UI.Gtk.WebKit.DOM.HTMLDocument
close
clear
captureEvents
releaseEvents
getEmbeds
getPlugins
getScripts
getWidth
getHeight
setDir
getDir
setDesignMode
getDesignMode
getCompatMode
setBgColor
getBgColor
setFgColor
getFgColor
setAlinkColor
getAlinkColor
setLinkColor
getLinkColor
setVlinkColor
getVlinkColor
data HTMLDocument
castToHTMLDocument
gTypeHTMLDocument
class HTMLDocumentClass o
toHTMLDocument