org.w3c.dom.html2.HTMLPreElement Maven / Gradle / Ivy

/*
 * Copyright (c) 2003 World Wide Web Consortium,
 * (Massachusetts Institute of Technology, Institut National de
 * Recherche en Informatique et en Automatique, Keio University). All
 * Rights Reserved. This program is distributed under the W3C's Software
 * Intellectual Property License. This program is distributed in the
 * hope that it will be useful, but WITHOUT ANY WARRANTY; without even
 * the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
 * PURPOSE.
 * See W3C License http://www.w3.org/Consortium/Legal/ for more details.
 */

package org.w3c.dom.html2;

/**
 * Preformatted text. See the PRE element definition in HTML 4.01.
 * See also the Document Object Model (DOM) Level 2 HTML Specification.
 */
public interface HTMLPreElement extends HTMLElement {
    /**
     * Fixed width for content. See the width attribute definition in HTML 
     * 4.01. This attribute is deprecated in HTML 4.01.
     */
    public int getWidth();
    /**
     * Fixed width for content. See the width attribute definition in HTML 
     * 4.01. This attribute is deprecated in HTML 4.01.
     */
    public void setWidth(int width);

}