001/* 002 * Copyright (c) 2003 World Wide Web Consortium, 003 * (Massachusetts Institute of Technology, Institut National de 004 * Recherche en Informatique et en Automatique, Keio University). All 005 * Rights Reserved. This program is distributed under the W3C's Software 006 * Intellectual Property License. This program is distributed in the 007 * hope that it will be useful, but WITHOUT ANY WARRANTY; without even 008 * the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR 009 * PURPOSE. 010 * See W3C License http://www.w3.org/Consortium/Legal/ for more details. 011 */ 012 013package org.w3c.dom.html2; 014 015/** 016 * Preformatted text. See the PRE element definition in HTML 4.01. 017 * <p>See also the <a href='http://www.w3.org/TR/2003/REC-DOM-Level-2-HTML-20030109'>Document Object Model (DOM) Level 2 HTML Specification</a>. 018 */ 019public interface HTMLPreElement extends HTMLElement { 020 /** 021 * Fixed width for content. See the width attribute definition in HTML 022 * 4.01. This attribute is deprecated in HTML 4.01. 023 */ 024 public int getWidth(); 025 /** 026 * Fixed width for content. See the width attribute definition in HTML 027 * 4.01. This attribute is deprecated in HTML 4.01. 028 */ 029 public void setWidth(int width); 030 031}