tentative merge of EKIT_0_9H and custom patches

[old-projects.git] / ekit / com / hexidec / ekit / component / ExtendedHTMLEditorKit.java

diff --git a/ekit/com/hexidec/ekit/component/ExtendedHTMLEditorKit.java b/ekit/com/hexidec/ekit/component/ExtendedHTMLEditorKit.java
index 07c1122..a8807ba 100644 (file)
--- a/ekit/com/hexidec/ekit/component/ExtendedHTMLEditorKit.java
+++ b/ekit/com/hexidec/ekit/component/ExtendedHTMLEditorKit.java
@@ -2,7 +2,7 @@
 GNU Lesser General Public License
 
 ExtendedHTMLEditorKit
-Copyright (C) 2001-2002  Frits Jalvingh & Howard Kistler
+Copyright (C) 2001  Frits Jalvingh, Jerry Pommer & Howard Kistler
 
 This library is free software; you can redistribute it and/or
 modify it under the terms of the GNU Lesser General Public
@@ -21,17 +21,16 @@ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 
 package com.hexidec.ekit.component;
 
+import javax.swing.text.Document;
 import javax.swing.text.Element;
 import javax.swing.text.StyleConstants;
 import javax.swing.text.View;
 import javax.swing.text.ViewFactory;
 import javax.swing.text.html.HTML;
 import javax.swing.text.html.HTMLEditorKit;
+import javax.swing.text.html.StyleSheet;
 
-/* WACKY GERMAN CODE */
 import com.hexidec.ekit.component.ExtendedHTMLDocument;
-import javax.swing.text.html.StyleSheet;
-import javax.swing.text.Document;
 
 /**
   * This class extends HTMLEditorKit so that it can provide other renderer classes
@@ -64,16 +63,16 @@ public class ExtendedHTMLEditorKit extends HTMLEditorKit
                return new HTMLFactoryExtended(BaseUrl);
        }
 
-/* WACKY GERMAN CODE */
-       public Document createDefaultDocument() {
-         StyleSheet styles = getStyleSheet();
-         StyleSheet ss = new StyleSheet();
-         ss.addStyleSheet(styles);
-         ExtendedHTMLDocument doc = new ExtendedHTMLDocument(ss);
-         doc.setParser(getParser());
-         doc.setAsynchronousLoadPriority(4);
-         doc.setTokenThreshold(100);
-         return doc;
+       public Document createDefaultDocument()
+       {
+               StyleSheet styles = getStyleSheet();
+               StyleSheet ss = new StyleSheet();
+               ss.addStyleSheet(styles);
+               ExtendedHTMLDocument doc = new ExtendedHTMLDocument(ss);
+               doc.setParser(getParser());
+               doc.setAsynchronousLoadPriority(4);
+               doc.setTokenThreshold(100);
+               return doc;
        }
 
 /* Inner Classes --------------------------------------------- */