Graphics.UI.Gtk.WebKit.DOM.HTMLPreElement

setWidth

getWidth

setWrap

getWrap

data HTMLPreElement

castToHTMLPreElement

gTypeHTMLPreElement

class HTMLPreElementClass o

toHTMLPreElement