• Home
• com.github.strator-dev.greenpepper
• greenpepper-remote-agent
• 4.2.4
• source code
• HTMLPreElement.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

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

// Copyright (c) 1998 by W3C
//
// DOM is a trademark of W3C
// The DOM level 1 specification, from which this
// source is derived, is copyright by W3C.
// See: http://www.w3.org/TR/REC-DOM-Level-1/
//

package org.w3c.dom.html;

import org.w3c.dom.*;

/**

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









Property Summary


 width

getWidth
setWidth


  
Fixed width for content. See the 
    width attribute definition
 in HTML 4.0. This attribute is deprecated in HTML 4.0.
  




 
*/
public interface HTMLPreElement
extends HTMLElement
{
	/** Assigns the value of the width property.
	 */
	void setWidth (int width);

	/**
	 * Returns the value of the width property.
	*/
	int getWidth ();


}