? build
? patch.diff
? doc/api
? src/org/w3c/tidy/NodeHandler.java
? src/org/w3c/tidy/NodeHandlerStore.java
? src/org/w3c/tidy/patch.diff
Index: src/org/w3c/tidy/Node.java
===================================================================
RCS file: /cvsroot/jtidy/jtidy/src/org/w3c/tidy/Node.java,v
retrieving revision 1.7
diff -u -3 -p -r1.7 Node.java
--- src/org/w3c/tidy/Node.java    25 Jul 2001 19:44:41 -0000    1.7
+++ src/org/w3c/tidy/Node.java    21 Feb 2002 14:47:41 -0000
@@ -292,6 +292,8 @@ public class Node {
     /* insert node into markup tree */
     public static void insertNodeAtEnd(Node element, Node node)
     {
+    NodeHandlerStore.getInstance().handleNode(element.getAdapter(), node.getAdapter());
+
         node.parent = element;
         node.prev = element.last;
 
Index: src/org/w3c/tidy/StreamInImpl.java
===================================================================
RCS file: /cvsroot/jtidy/jtidy/src/org/w3c/tidy/StreamInImpl.java,v
retrieving revision 1.1.1.1
diff -u -3 -p -r1.1.1.1 StreamInImpl.java
--- src/org/w3c/tidy/StreamInImpl.java    30 Oct 2000 14:21:37 -0000    1.1.1.1
+++ src/org/w3c/tidy/StreamInImpl.java    21 Feb 2002 14:47:41 -0000
@@ -115,13 +115,27 @@ public class StreamInImpl extends Stream
         this.endOfStream = false;
     }
 
+
+
+    /**
+     * Added to facilitate document.write from JavaScript in which characters
+     * written to the document must be parsed before whatever is next in the
+     * html.
+     */
+    private int getCharFromStream() throws IOException 
+    {
+        int dynamicInput = NodeHandlerStore.getInstance().getDynamicInput();
+        return(dynamicInput != -1) ? dynamicInput : this.stream.read();
+    }
+
     /* read char from stream */
-    public int readCharFromStream()
+    public int readCharFromStream() 
     {
         int n, c, i, count;
 
         try {
-            c = this.stream.read();
+            // Surgical incision to add dynamic buffer text
+            c = getCharFromStream();
 
             if (c == EndOfStream) {
                 this.endOfStream = true;