X-Git-Url: http://git.polytechnique.org/?a=blobdiff_plain;f=ekit%2Fcom%2Fhexidec%2Fekit%2Fcomponent%2FExtendedHTMLEditorKit.java;fp=ekit%2Fcom%2Fhexidec%2Fekit%2Fcomponent%2FExtendedHTMLEditorKit.java;h=bb2b14a8f42d1c84252e57853098d617a3e1d951;hb=c2da4d4034b3589f04e7a009f77299c5c33a742e;hp=0000000000000000000000000000000000000000;hpb=cac0c87cfdd88a9aaf33726983e3ef83fc133372;p=old-projects.git

diff --git a/ekit/com/hexidec/ekit/component/ExtendedHTMLEditorKit.java b/ekit/com/hexidec/ekit/component/ExtendedHTMLEditorKit.java
new file mode 100644
index 0000000..bb2b14a
--- /dev/null
+++ b/ekit/com/hexidec/ekit/component/ExtendedHTMLEditorKit.java
@@ -0,0 +1,102 @@
+/*
+GNU Lesser General Public License
+
+ExtendedHTMLEditorKit
+Copyright (C) 2001-2002  Frits Jalvingh & Howard Kistler
+
+This library is free software; you can redistribute it and/or
+modify it under the terms of the GNU Lesser General Public
+License as published by the Free Software Foundation; either
+version 2.1 of the License, or (at your option) any later version.
+
+This library is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+Lesser General Public License for more details.
+
+You should have received a copy of the GNU Lesser General Public
+License along with this library; if not, write to the Free Software
+Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
+*/
+
+package com.hexidec.ekit.component;
+
+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;
+
+/* 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
+  * instead of the defaults. Most important is the part which renders relative
+  * image paths.
+  *
+  * @author <a href="mailto:jal@grimor.com">Frits Jalvingh</a>
+  * @version 1.0
+  */
+
+public class ExtendedHTMLEditorKit extends HTMLEditorKit
+{
+	/** Constructor
+	  */
+	public ExtendedHTMLEditorKit()
+	{
+	}
+
+	/** Method for returning a ViewFactory which handles the image rendering.
+	  */
+	public ViewFactory getViewFactory()
+	{
+		return new HTMLFactoryExtended();
+	}
+
+/* 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;
+	}
+
+/* Inner Classes --------------------------------------------- */
+
+	/** Class that replaces the default ViewFactory and supports
+	  * the proper rendering of both URL-based and local images.
+	  */
+	public static class HTMLFactoryExtended extends HTMLFactory implements ViewFactory
+	{
+		/** Constructor
+		  */
+		public HTMLFactoryExtended()
+		{
+		}
+
+		/** Method to handle IMG tags and
+		  * invoke the image loader.
+		  */
+		public View create(Element elem)
+		{
+			Object obj = elem.getAttributes().getAttribute(StyleConstants.NameAttribute);
+			if(obj instanceof HTML.Tag)
+			{
+				HTML.Tag tagType = (HTML.Tag)obj;
+				if(tagType == HTML.Tag.IMG)
+				{
+					return new RelativeImageView(elem);
+				}
+			}
+			return super.create(elem);
+		}
+	}
+}