org.w3c.dom.html
Interface HTMLPreElement
public
interface
HTMLPreElement
extends HTMLElement
Preformatted text. See the PRE element definition in HTML 4.0.
public int getWidth()
Fixed width for content. See the width attribute definition in HTML 4.0.
This attribute is deprecated in HTML 4.0.
public void setWidth(int width)