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