home *** CD-ROM | disk | FTP | other *** search
/ Java Programmer's Toolkit / Java Programmer's Toolkit.iso / hotjava3 / hotjava3.exe / hotjava / classsrc / net / www / protocol / news / TotalUnReadIndicator.java < prev   
Encoding:
Java Source  |  1995-08-11  |  1.7 KB  |  58 lines
  1. /*
  2.  * @(#)TotalUnReadIndicator.java    1.6 95/04/10 James Gosling
  3.  * 
  4.  * Copyright (c) 1994 Sun Microsystems, Inc. All Rights Reserved.
  5.  * 
  6.  * Permission to use, copy, modify, and distribute this software and its
  7.  * documentation for NON-COMMERCIAL purposes and without fee is hereby
  8.  * granted provided that this copyright notice appears in all copies. Please
  9.  * refer to the file "copyright.html" for further important copyright and
  10.  * licensing information.
  11.  * 
  12.  * SUN MAKES NO REPRESENTATIONS OR WARRANTIES ABOUT THE SUITABILITY OF THE
  13.  * SOFTWARE, EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE
  14.  * IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE,
  15.  * OR NON-INFRINGEMENT. SUN SHALL NOT BE LIABLE FOR ANY DAMAGES SUFFERED BY
  16.  * LICENSEE AS A RESULT OF USING, MODIFYING OR DISTRIBUTING THIS SOFTWARE OR
  17.  * ITS DERIVATIVES.
  18.  */
  19.  
  20. package net.www.protocol.news;
  21.  
  22. import java.io.*;
  23. import java.util.*;
  24. import net.nntp.*;
  25. import net.smtp.SmtpClient;
  26. import browser.Applet;
  27. import browser.WRWindow;
  28. import browser.DocumentManager;
  29. import net.TelnetInputStream;
  30. import net.UnknownHostException;
  31. import awt.*;
  32.  
  33. class TotalUnReadIndicator extends Applet {
  34.     int anum;
  35.     Newsgroup group;
  36.     Color fg;
  37.     public void init() {
  38.     group = newsFetcher.findGroup(getAttribute("group"));
  39.     resize(50, 10);
  40.     }
  41.     /**
  42.      * Paint the current frame.
  43.      */
  44.     public void paint(Graphics g) {
  45.     int n;
  46.  
  47.     if (group == null || group.articles == null)
  48.         n = 0;
  49.     else
  50.         n = group.articles.size();
  51.     if (n > 0) {
  52.         String s = String.valueOf(n);
  53.         FontMetrics fm = g.getFontMetrics(font);
  54.         g.drawString(s, width - fm.stringWidth(s) - 3, height);
  55.     }
  56.     }
  57. }
  58.