Graphics.UI.Gtk.WebKit.DOM.HTMLPreElement
setWidth
getWidth
setWrap
getWrap
data HTMLPreElement
castToHTMLPreElement
gTypeHTMLPreElement
class HTMLPreElementClass o
toHTMLPreElement