File Doc Category Size Date Package
HTMLPreElement.java API Doc Java SE 5 API 1067 Fri Aug 26 14:58:40 BST 2005 org.w3c.dom.html

HTMLPreElement

public interface HTMLPreElement implements HTMLElement

Preformatted text. See the PRE element definition in HTML 4.0.

See also the Document Object Model (DOM) Level 2 Specification.

Fields Summary
Constructors Summary
Methods Summary
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)