Graphics.UI.Gtk.WebKit.DOM.HTMLAppletElement
setAlign
getAlign
setAlt
getAlt
setArchive
getArchive
setCode
getCode
setCodeBase
getCodeBase
setHeight
getHeight
setHspace
getHspace
setName
getName
setObject
getObject
setVspace
getVspace
setWidth
getWidth
data HTMLAppletElement
castToHTMLAppletElement
gTypeHTMLAppletElement
class HTMLAppletElementClass o
toHTMLAppletElement