home *** CD-ROM | disk | FTP | other *** search
- package javax.swing.plaf.basic;
-
- import java.io.StringReader;
- import java.net.URL;
- import javax.swing.text.AbstractDocument;
- import javax.swing.text.Document;
- import javax.swing.text.Style;
- import javax.swing.text.StyleConstants;
- import javax.swing.text.html.HTMLDocument;
- import javax.swing.text.html.HTMLEditorKit;
- import javax.swing.text.html.StyleSheet;
-
- class BasicHTML$BasicEditorKit extends HTMLEditorKit {
- private static StyleSheet defaultStyles;
-
- public StyleSheet getStyleSheet() {
- if (defaultStyles == null) {
- defaultStyles = new StyleSheet();
- 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 }");
-
- try {
- defaultStyles.loadRules(var1, (URL)null);
- } catch (Throwable var3) {
- }
-
- Style var2 = defaultStyles.getStyle("body");
- if (var2 != null) {
- StyleConstants.setForeground(var2, new BasicHTML.TaggedColor(0, 0, 0));
- }
-
- var1.close();
- defaultStyles.addStyleSheet(super.getStyleSheet());
- }
-
- return defaultStyles;
- }
-
- public Document createDefaultDocument() {
- StyleSheet var1 = this.getStyleSheet();
- StyleSheet var2 = new StyleSheet();
- var2.addStyleSheet(var1);
- BasicHTML.BasicDocument var3 = new BasicHTML.BasicDocument(var2);
- ((AbstractDocument)var3).setAsynchronousLoadPriority(Integer.MAX_VALUE);
- ((HTMLDocument)var3).setPreservesUnknownTags(false);
- return var3;
- }
- }
-