home *** CD-ROM | disk | FTP | other *** search
/ PC World Komputer 1996 May / PCW596.iso / wtest / clico / sunsoft / java / solaris.lzh / SOLARIS.TAZ / SOLARIS / hotjava / classsrc / browser / HRDisplayItem.java < prev    next >
Encoding:
Java Source  |  1995-05-15  |  1.5 KB  |  52 lines
  1. /*
  2.  * @(#)HRDisplayItem.java    1.10 95/03/14 Jonathan Payne
  3.  *
  4.  * Copyright (c) 1994 Sun Microsystems, Inc. All Rights Reserved.
  5.  *
  6.  * Permission to use, copy, modify, and distribute this software
  7.  * and its documentation for NON-COMMERCIAL purposes and without
  8.  * fee is hereby granted provided that this copyright notice
  9.  * appears in all copies. Please refer to the file "copyright.html"
  10.  * for further important copyright and licensing information.
  11.  *
  12.  * SUN MAKES NO REPRESENTATIONS OR WARRANTIES ABOUT THE SUITABILITY OF
  13.  * THE SOFTWARE, EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED
  14.  * TO THE IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A
  15.  * PARTICULAR PURPOSE, OR NON-INFRINGEMENT. SUN SHALL NOT BE LIABLE FOR
  16.  * ANY DAMAGES SUFFERED BY LICENSEE AS A RESULT OF USING, MODIFYING OR
  17.  * DISTRIBUTING THIS SOFTWARE OR ITS DERIVATIVES.
  18.  */
  19.  
  20. package browser;
  21.  
  22. import java.util.*;
  23. import java.io.*;
  24. import awt.*;
  25. import net.*;
  26. import net.www.http.*;
  27. import net.www.html.*;
  28.  
  29. /**
  30.  * Class HRDisplayItem is used to display html horizontal rulers
  31.  * <hr> that appear in html documents.
  32.  * @version 1.10, 14 Mar 1995
  33.  * @author Jonathan Payne
  34.  */
  35.  
  36. public class HRDisplayItem extends DisplayItem {
  37.     boolean shade = true;
  38.  
  39.     public HRDisplayItem(int width) {
  40.     resize(width, 2);
  41.     }
  42.  
  43.     public void paint(Window w, int x, int y) {
  44.     if (shade) {
  45.         w.paint3DRect(x, y, width, height, false, false);
  46.     } else {
  47.         w.setForeground(Color.menuDim);
  48.         w.fillRect(x, y, width, height);
  49.     }
  50.     }
  51. }
  52.