gomp-20050608-branch/libjava/classpath/external/w3c_dom/org/w3c/dom/html2/HTMLMenuElement.java

   1 /*
   2  * Copyright (c) 2003 World Wide Web Consortium,
   3  * (Massachusetts Institute of Technology, Institut National de
   4  * Recherche en Informatique et en Automatique, Keio University). All
   5  * Rights Reserved. This program is distributed under the W3C's Software
   6  * Intellectual Property License. This program is distributed in the
   7  * hope that it will be useful, but WITHOUT ANY WARRANTY; without even
   8  * the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
   9  * PURPOSE.
  10  * See W3C License http://www.w3.org/Consortium/Legal/ for more details.
  11  */
  12
  13 package org.w3c.dom.html2;
  14
  15 /**
  16  * Menu list. See the MENU element definition in HTML 4.01. This element is
  17  * deprecated in HTML 4.01.
  18  * <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>.
  19  */
  20 public interface HTMLMenuElement extends HTMLElement {
  21     /**
  22      * Reduce spacing between list items. See the compact attribute definition
  23      * in HTML 4.01. This attribute is deprecated in HTML 4.01.
  24      */
  25     public boolean getCompact();
  26     /**
  27      * Reduce spacing between list items. See the compact attribute definition
  28      * in HTML 4.01. This attribute is deprecated in HTML 4.01.
  29      */
  30     public void setCompact(boolean compact);
  31
  32 }