/***************************************************************************
                            HTMLPreElement.java -  description
                             -------------------
    begin                : Sun Jan 27 16:22:17 2002
    copyright            : (C) 2000-2001 Lost Highway Ltd.
    email                : Richard_Dale@tipitina.demon.co.uk
    generated by         : duke@tipitina on Sun Jan 27 16:22:17 2002, using kalyptus 0.9.
 ***************************************************************************/

/***************************************************************************
 *                                                                         *
 *   This program is free software; you can redistribute it and/or modify  *
 *   it under the terms of the GNU General Public License as published by  *
 *   the Free Software Foundation; either version 2 of the License, or     *
 *   (at your option) any later version.                                   *
 *                                                                         *
***************************************************************************/

package org.kde.koala;

import org.kde.qt.*;
import java.util.*;
import java.lang.Error;

/**

 Preformatted text. See the <a
 href="http://www.w3.org/TR/REC-html40/struct/text.html#edef-PRE">
 PRE element definition </a> in HTML 4.0.

 
 @short 
 Preformatted text.
*/
public class HTMLPreElement extends HTMLElement  {
	protected HTMLPreElement(Class dummy){super((Class) null);}

	private native void newHTMLPreElement();
	public HTMLPreElement() {
		super((Class) null);
		newHTMLPreElement();
	}
	private native void newHTMLPreElement( HTMLPreElement other);
	public HTMLPreElement( HTMLPreElement other) {
		super((Class) null);
		newHTMLPreElement( other);
	}
	private native void newHTMLPreElement( DOMNode other);
	public HTMLPreElement( DOMNode other) {
		super((Class) null);
		newHTMLPreElement( other);
	}
	protected native void finalize() throws InternalError;
	public native void dispose();
	public native boolean isDisposed();

/** 
 Fixed width for content. See the <a
 href="http://www.w3.org/TR/REC-html40/struct/text.html#adef-width-PRE">
 width attribute definition </a> in HTML 4.0. This attribute is
 deprecated in HTML 4.0.

     
*/
	public native long width();

/** 
 see {@link width}
     
*/
	public native void setWidth( long arg1);
}
