home *** CD-ROM | disk | FTP | other *** search
/ S283 Planetary Science &n…he Search for Life DVD 2 / DVD-ROM.iso / install / jre1_3 / lib / rt.jar / javax / swing / plaf / basic / BasicHTML$BasicEditorKit.class (.txt) < prev    next >
Encoding:
Java Class File  |  1979-12-31  |  1.6 KB  |  48 lines

  1. package javax.swing.plaf.basic;
  2.  
  3. import java.io.StringReader;
  4. import java.net.URL;
  5. import javax.swing.text.AbstractDocument;
  6. import javax.swing.text.Document;
  7. import javax.swing.text.Style;
  8. import javax.swing.text.StyleConstants;
  9. import javax.swing.text.html.HTMLDocument;
  10. import javax.swing.text.html.HTMLEditorKit;
  11. import javax.swing.text.html.StyleSheet;
  12.  
  13. class BasicHTML$BasicEditorKit extends HTMLEditorKit {
  14.    private static StyleSheet defaultStyles;
  15.  
  16.    public StyleSheet getStyleSheet() {
  17.       if (defaultStyles == null) {
  18.          defaultStyles = new StyleSheet();
  19.          StringReader var1 = new StringReader("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 }");
  20.  
  21.          try {
  22.             defaultStyles.loadRules(var1, (URL)null);
  23.          } catch (Throwable var3) {
  24.          }
  25.  
  26.          Style var2 = defaultStyles.getStyle("body");
  27.          if (var2 != null) {
  28.             StyleConstants.setForeground(var2, new BasicHTML.TaggedColor(0, 0, 0));
  29.          }
  30.  
  31.          var1.close();
  32.          defaultStyles.addStyleSheet(super.getStyleSheet());
  33.       }
  34.  
  35.       return defaultStyles;
  36.    }
  37.  
  38.    public Document createDefaultDocument() {
  39.       StyleSheet var1 = this.getStyleSheet();
  40.       StyleSheet var2 = new StyleSheet();
  41.       var2.addStyleSheet(var1);
  42.       BasicHTML.BasicDocument var3 = new BasicHTML.BasicDocument(var2);
  43.       ((AbstractDocument)var3).setAsynchronousLoadPriority(Integer.MAX_VALUE);
  44.       ((HTMLDocument)var3).setPreservesUnknownTags(false);
  45.       return var3;
  46.    }
  47. }
  48.