Graphics.UI.Gtk.WebKit.DOM.HTMLAreaElement

htmlAreaElementSetAlt

htmlAreaElementGetAlt

htmlAreaElementSetCoords

htmlAreaElementGetCoords

htmlAreaElementSetHref

htmlAreaElementGetHref

htmlAreaElementSetNoHref

htmlAreaElementGetNoHref

htmlAreaElementSetPing

htmlAreaElementGetPing

htmlAreaElementSetShape

htmlAreaElementGetShape

htmlAreaElementSetTarget

htmlAreaElementGetTarget

htmlAreaElementGetHash

htmlAreaElementGetHost

htmlAreaElementGetHostname

htmlAreaElementGetPathname

htmlAreaElementGetPort

htmlAreaElementGetProtocol

htmlAreaElementGetSearch

data HTMLAreaElement

class HTMLAreaElementClass o

castToHTMLAreaElement

gTypeHTMLAreaElement

toHTMLAreaElement