← Back to branch summary

~ubuntu-branches/ubuntu/gutsy/libjaxp1.3-java/gutsy

« back to all changes in this revision

Viewing changes to org/w3c/dom/html/HTMLPreElement.java

  • Committer: Bazaar Package Importer
  • Author(s): Arnaud Vandyck
  • Date: 2006-08-03 10:30:58 UTC
  • Revision ID: james.westby@ubuntu.com-20060803103058-7jwwiqv9g8w9094d
Tags: upstream-1.3.03
Import upstream version 1.3.03

Show diffs side-by-side

added added

removed removed

Lines of Context:
org/w3c/dom/html/HTMLPreElement.java
 
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