On 02/09/2015 06:23 PM, Liam R E Quin liam@xxxxxx wrote:
> I'd probably do this in two steps -
> (1) match text() and turn one or more whitespace characters into a
> space, probably using replace()
> (2) strip leading space from the first text() in p, and trailing
> space from the last;
My algorithm (for which I canbt find code right now, but may rewrite
later) is to concatenate the following:
1) If the text node starts with a space, a single space.
2) The results of normalize-space().
3) If the text node ends with a space, a single space.
~Chris
--
Chris Maden, text nerd <URL: http://crism.maden.org/ >
Surround hate and force it to surrender.
GnuPG fingerprint: DB08 CF6C 2583 7F55 3BE9 A210 4A51 DBAC 5C5C 3D5E
|