1 /*
2 * Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
3 * Technology, Institut National de Recherche en Informatique et en
4 * Automatique, Keio University).
5 * All Rights Reserved. http://www.w3.org/Consortium/Legal/
6 */
7
8 package org.w3c.dom.html;
9
10 import org.w3c.dom;
11
12 /**
13 * Preformatted text. See the PRE element definition in HTML 4.0.
14 */
15 public interface HTMLPreElement extends HTMLElement {
16 /**
17 * Fixed width for content. See the width attribute definition in HTML 4.0.
18 * This attribute is deprecated in HTML 4.0.
19 */
20 public int getWidth();
21 public void setWidth(int width);
22 }
23