home *** CD-ROM | disk | FTP | other *** search
/ Java Programmer's Toolkit / Java Programmer's Toolkit.iso / hotjava / classsrc / browser / dltagr~1.jav < prev    next >
Encoding:
Text File  |  1995-08-11  |  1.9 KB  |  71 lines
  1. /*
  2.  * @(#)DLTagRef.java    1.8 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.  * An instance of class DLTagRef is created for <dl> tags that
  31.  * appear in html document.
  32.  * @version 1.8, 14 Mar 1995
  33.  * @author Jonathan Payne
  34.  */
  35.  
  36. public class DLTagRef extends WRListRef {
  37.     public DLTagRef(Tag t, int pos, boolean isEnd) {
  38.     super(t, pos, isEnd);
  39.     }
  40.  
  41.     static int    MARGIN_INCREMENT = 50;
  42.  
  43.     public DisplayItem getNextBullet(WRFormatter f) {
  44.     return null;
  45.     }
  46.  
  47.     public void apply(WRFormatter f) {
  48.     if (!isEnd) {
  49.         WRListRef   r = f.listContext();
  50.  
  51.         /* I am just trying to imitate Mosaic here ... I don't
  52.            understand it, I just make it work ... JP */
  53.         if (r == null) {
  54.         margin = f.getLeftMargin();
  55.         f.breakLine(12);
  56.         } else {
  57.         margin = r.margin + MARGIN_INCREMENT;
  58.         }
  59.         f.pushParameters(null);
  60.         f.setLeftMargin(margin);
  61.         f.pushList(this);
  62.     } else {
  63.         f.popList();
  64.         if (f.listContext() == null) {
  65.         f.breakLine(12);
  66.         }
  67.         f.popParameters();
  68.     }
  69.     }
  70. }                        
  71.