Author: [EMAIL PROTECTED]
Date: Fri Oct 3 14:55:20 2008
New Revision: 3707
Modified:
trunk/user/src/com/google/gwt/dom/client/DOMImplMozilla.java
Log:
Temporary backing out change for mozilla's text content to see if that
helps fix the build.
Modified: trunk/user/src/com/google/gwt/dom/client/DOMImplMozilla.java
==============================================================================
--- trunk/user/src/com/google/gwt/dom/client/DOMImplMozilla.java
(original)
+++ trunk/user/src/com/google/gwt/dom/client/DOMImplMozilla.java Fri Oct
3
14:55:20 2008
@@ -71,22 +71,12 @@
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
--~--~---------~--~----~------------~-------~--~----~
http://groups.google.com/group/Google-Web-Toolkit-Contributors
-~----------~----~----~----~------~----~------~--~---
