2006-04-18 Lillian Angel <langel@redhat.com>

        * gnu/xml/dom/DomDocument.java
        (setCheckingCharacters): New function used to set
        checkingCharacters flag.
        * gnu/xml/dom/html2/DomHTMLParser.java
        (parseDocument): Added call to set checkingCharacters flag
        to false.

2 files changed, 9 insertions, 0 deletions

diff --git a/gnu/xml/dom/DomDocument.java b/gnu/xml/dom/DomDocument.java
index a8d0471c8..617d1ddd5 100644
--- a/gnu/xml/dom/DomDocument.java
+++ b/gnu/xml/dom/DomDocument.java
@@ -150,6 +150,14 @@ public class DomDocument
   }
 
   /**
+   * Sets whether to check for document characters.
+   */
+  public void setCheckingCharacters(boolean flag)
+  {
+    checkingCharacters = flag;
+  }  
+  
+  /**
    * <b>DOM L1</b>
    * Returns the constant "#document".
    */
diff --git a/gnu/xml/dom/html2/DomHTMLParser.java b/gnu/xml/dom/html2/DomHTMLParser.java
index 2164e052c..2d329fd4c 100644
--- a/gnu/xml/dom/html2/DomHTMLParser.java
+++ b/gnu/xml/dom/html2/DomHTMLParser.java
@@ -125,6 +125,7 @@ public class DomHTMLParser
       {
         document = new DomHTMLDocument();
         document.setCheckWellformedness(false);
+        document.setCheckingCharacters(false);
         
         cursor = document;