Graphics.UI.Gtk.WebKit.DOM.HTMLAreaElement
setAlt
getAlt
setCoords
getCoords
setHref
getHref
setNoHref
getNoHref
setPing
getPing
setShape
getShape
setTarget
getTarget
getHash
getHost
getHostname
getPathname
getPort
getProtocol
getSearch
data HTMLAreaElement
castToHTMLAreaElement
gTypeHTMLAreaElement
class HTMLAreaElementClass o
toHTMLAreaElement