// TODO - rather expensive to make Chars and getText and get
// String
public boolean textIsWhitespace ( )
{
Chars chars = new Chars();
getText( chars );
String s = chars.asString();
for ( int i = 0 ; i < s.length() ; i++ )
{
switch ( s.charAt( i ) )
{