Fix for issue 940, not using innerContent for mozilla text nodes.

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@3700 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/user/src/com/google/gwt/dom/client/DOMImplMozilla.java b/user/src/com/google/gwt/dom/client/DOMImplMozilla.java
index 4698069..ebb6003 100644
--- a/user/src/com/google/gwt/dom/client/DOMImplMozilla.java
+++ b/user/src/com/google/gwt/dom/client/DOMImplMozilla.java
@@ -60,22 +60,34 @@
     }
   }-*/;
 
+  @Override
   public native int getBodyOffsetLeft() /*-{
     var style = $wnd.getComputedStyle($doc.documentElement, '');
     return parseInt(style.marginLeft) + parseInt(style.borderLeftWidth);
   }-*/;
 
+  @Override
   public native int getBodyOffsetTop() /*-{
     var style = $wnd.getComputedStyle($doc.documentElement, '');
     return parseInt(style.marginTop) + parseInt(style.borderTopWidth);
   }-*/;
 
   @Override
+  public native String getInnerText(Element elem) /*-{
+    return elem.textContent;
+  }-*/;
+  
+  @Override
   public native boolean isOrHasChild(Element parent, Element child) /*-{
     // For more information about compareDocumentPosition, see:
     // http://www.quirksmode.org/blog/archives/2006/01/contains_for_mo.html
     return (parent === child) || !!(parent.compareDocumentPosition(child) & 16);  
   }-*/;
+  
+  @Override
+  public native void setInnerText(Element elem, String text) /*-{
+    elem.textContent = text || '';
+  }-*/;
 
   @Override
   public native String toString(Element elem) /*-{