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