home *** CD-ROM | disk | FTP | other *** search
/ Chip 1998 November / Chip_1998-11_cd.bin / tema / Cafe / jfc.bin / MetalworksHelp.java < prev    next >
Text File  |  1998-02-26  |  5KB  |  167 lines
  1. /*
  2.  * @(#)MetalworksHelp.java    1.2 98/02/06
  3.  *
  4.  * Copyright (c) 1997 Sun Microsystems, Inc. All Rights Reserved.
  5.  *
  6.  * This software is the confidential and proprietary information of Sun
  7.  * Microsystems, Inc. ("Confidential Information").  You shall not
  8.  * disclose such Confidential Information and shall use it only in
  9.  * accordance with the terms of the license agreement you entered into
  10.  * with Sun.
  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
  15.  * PURPOSE, OR NON-INFRINGEMENT. SUN SHALL NOT BE LIABLE FOR ANY DAMAGES
  16.  * SUFFERED BY LICENSEE AS A RESULT OF USING, MODIFYING OR DISTRIBUTING
  17.  * THIS SOFTWARE OR ITS DERIVATIVES.
  18.  *
  19.  */
  20.  
  21. import com.sun.java.swing.*;
  22. import java.awt.*;
  23. import java.net.URL;
  24. import java.net.MalformedURLException;
  25. import java.io.*;
  26. import com.sun.java.swing.text.*;
  27. import com.sun.java.swing.event.*;
  28.  
  29. /*
  30.  * @version 1.2 02/06/98
  31.  * @author Steve Wilson
  32.  */
  33. public class MetalworksHelp extends JInternalFrame {
  34.   
  35.     public MetalworksHelp() {
  36.     super("Help", true, true, true, true);
  37.  
  38.     setIconifiable(true); // PENDING(steve) shouldn't need this but do
  39.  
  40.            setFrameIcon( (Icon)UIManager.get("Tree.openIcon")); // PENDING(steve) need more general palce to get this icon
  41.  
  42.     setBounds( 200, 25, 400, 400);
  43.     JPanel p = new JPanel();
  44.  
  45.     //    p.setOpaque(false); 
  46.            p.setOpaque(true);
  47.            p.setBackground(UIManager.getColor("window"));
  48.     p.setLayout(new BorderLayout() );
  49.     HtmlPane html = new HtmlPane();
  50.  
  51.     p.add(html, BorderLayout.CENTER);
  52.     //    p.add(buildToolBar(), BorderLayout.NORTH);
  53.  
  54.     getContentPane().add(p);
  55.     }
  56.  
  57.     protected JToolBar buildToolBar() {
  58.         JToolBar bar = new JToolBar();
  59.     bar.add(new JButton("<<"));
  60.     bar.add(new JButton(">>"));
  61.     return bar;
  62.     }
  63.     public void pack() {
  64.        Dimension size = getPreferredSize();
  65.        setSize(size.width, size.height);
  66.     }
  67.  
  68. }
  69.  
  70.  
  71. class HtmlPane extends JPanel implements HyperlinkListener {
  72.     JEditorPane html;
  73.  
  74.     public HtmlPane() {
  75.         setLayout(new BorderLayout());
  76.     try {
  77.         File f = new File ("HelpFiles/toc.html");
  78.         String s = f.getAbsolutePath();
  79.         s = "file:"+s;
  80.         URL url = new URL(s);
  81.         html = new JEditorPane(s);
  82.         html.setEditable(false);
  83.         html.addHyperlinkListener(this);
  84.  
  85.         JScrollPane scroller = new JScrollPane();
  86.         JViewport vp = scroller.getViewport();
  87.         vp.add(html);
  88.         add(scroller, BorderLayout.CENTER);
  89.     } catch (MalformedURLException e) {
  90.         System.out.println("Malformed URL: " + e);
  91.     } catch (IOException e) {
  92.         System.out.println("IOException: " + e);
  93.     }    
  94.     }
  95.  
  96.     /**
  97.      * Notification of a change relative to a 
  98.      * hyperlink.
  99.      */
  100.     public void hyperlinkUpdate(HyperlinkEvent e) {
  101.     if (e.getEventType() == HyperlinkEvent.EventType.ACTIVATED) {
  102.         linkActivated(e.getURL());
  103.     }
  104.     }
  105.  
  106.     /**
  107.      * Follows the reference in an
  108.      * link.  The given url is the requested reference.
  109.      * By default this calls <a href="#setPage">setPage</a>,
  110.      * and if an exception is thrown the original previous
  111.      * document is restored and a beep sounded.  If an 
  112.      * attempt was made to follow a link, but it represented
  113.      * a malformed url, this method will be called with a
  114.      * null argument.
  115.      *
  116.      * @param u the URL to follow
  117.      */
  118.     protected void linkActivated(URL u) {
  119.     Cursor c = html.getCursor();
  120.     Cursor waitCursor = Cursor.getPredefinedCursor(Cursor.WAIT_CURSOR);
  121.     html.setCursor(waitCursor);
  122.     SwingUtilities.invokeLater(new PageLoader(u, c));
  123.     }
  124.  
  125.     /**
  126.      * temporary class that loads synchronously (although
  127.      * later than the request so that a cursor change
  128.      * can be done).
  129.      */
  130.     class PageLoader implements Runnable {
  131.     
  132.     PageLoader(URL u, Cursor c) {
  133.         url = u;
  134.         cursor = c;
  135.     }
  136.  
  137.         public void run() {
  138.         if (url == null) {
  139.         // restore the original cursor
  140.         html.setCursor(cursor);
  141.  
  142.         // PENDING(prinz) remove this hack when 
  143.         // automatic validation is activated.
  144.         Container parent = html.getParent();
  145.         parent.repaint();
  146.         } else {
  147.         Document doc = html.getDocument();
  148.         try {
  149.             html.setPage(url);
  150.         } catch (IOException ioe) {
  151.             html.setDocument(doc);
  152.             getToolkit().beep();
  153.         } finally {
  154.             // schedule the cursor to revert after
  155.             // the paint has happended.
  156.             url = null;
  157.             SwingUtilities.invokeLater(this);
  158.         }
  159.         }
  160.     }
  161.  
  162.     URL url;
  163.     Cursor cursor;
  164.     }
  165.  
  166. }
  167.