home *** CD-ROM | disk | FTP | other *** search
/ S283 Planetary Science &… the Search for Life CD 3 / 0_CD-ROM.iso / install / jre1_3 / lib / rt.jar / javax / swing / plaf / basic / BasicHTML.class (.txt) < prev    next >
Encoding:
Java Class File  |  1979-12-31  |  2.5 KB  |  67 lines
  1. package javax.swing.plaf.basic;
  2.  
  3. import java.io.StringReader;
  4. import java.net.URL;
  5. import javax.swing.JComponent;
  6. import javax.swing.text.Document;
  7. import javax.swing.text.View;
  8. import javax.swing.text.ViewFactory;
  9. import javax.swing.text.html.HTMLDocument;
  10. import javax.swing.text.html.HTMLEditorKit;
  11.  
  12. public class BasicHTML {
  13.    public static final String propertyKey = "html";
  14.    public static final String documentBaseKey = "html.base";
  15.    private static HTMLEditorKit basicHTMLFactory;
  16.    private static final String styleChanges = "p { margin-top: 0; margin-bottom: 0; margin-left: 0; margin-right: 0 }body { margin-top: 0; margin-bottom: 0; margin-left: 0; margin-right: 0 }";
  17.  
  18.    public static View createHTMLView(JComponent var0, String var1) {
  19.       HTMLEditorKit var2 = getFactory();
  20.       Document var3 = var2.createDefaultDocument();
  21.       Object var4 = var0.getClientProperty("html.base");
  22.       ((BasicDocument)var3).setHost(var0);
  23.       if (var4 instanceof URL) {
  24.          ((HTMLDocument)var3).setBase((URL)var4);
  25.       }
  26.  
  27.       StringReader var5 = new StringReader(var1);
  28.  
  29.       try {
  30.          var2.read(var5, var3, 0);
  31.       } catch (Throwable var9) {
  32.       }
  33.  
  34.       ViewFactory var6 = var2.getViewFactory();
  35.       View var7 = var6.create(var3.getDefaultRootElement());
  36.       Renderer var8 = new Renderer(var0, var6, var7);
  37.       return var8;
  38.    }
  39.  
  40.    public static boolean isHTMLString(String var0) {
  41.       if (var0 != null && var0.length() >= 6 && var0.charAt(0) == '<' && var0.charAt(5) == '>') {
  42.          String var1 = var0.substring(1, 5);
  43.          return var1.equalsIgnoreCase("html");
  44.       } else {
  45.          return false;
  46.       }
  47.    }
  48.  
  49.    public static void updateRenderer(JComponent var0, String var1) {
  50.       View var2 = null;
  51.       Object var3 = null;
  52.       if (isHTMLString(var1)) {
  53.          var2 = createHTMLView(var0, var1);
  54.       }
  55.  
  56.       var0.putClientProperty("html", var2);
  57.    }
  58.  
  59.    static HTMLEditorKit getFactory() {
  60.       if (basicHTMLFactory == null) {
  61.          basicHTMLFactory = new BasicEditorKit();
  62.       }
  63.  
  64.       return basicHTMLFactory;
  65.    }
  66. }
  67.