Graphics.UI.Gtk.WebKit.DOM.HTMLPreElement

htmlPreElementSetWidth

htmlPreElementGetWidth

htmlPreElementSetWrap

htmlPreElementGetWrap