<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
<META NAME="GENERATOR" CONTENT="GtkHTML/3.0.9">
On Thu, 2004-12-09 at 06:38, Elliotte Harold wrote:
<PRE><FONT COLOR="#737373"><I>setIgnoringAllWhitespace() is the wrong name for this functionality. Do
you really want to throw away all white space?
Eveninrecordlikedocumentsthiscouldbeveryhardtoread. I think what you
really want to do is throw away all text nodes that consist of white
space exclusively, but retain all white space in text nodes that contain
any non-whitespace characters. The correct name for this method would
be setIgnoringBoundaryWhitespace(). The functionality proposed is fine.
I just want to make sure we get the name right.</I></FONT></PRE>
What something like this should do is convert an infinite amount of whitespace in a single instance into a single space. Not sure about "middle" text, but an equivalent of String.trim() would probably be OK anywhere if you choose this option. Keep in mind that it's an OPTION rather than a change in default behavior.