On Thu, 27 Oct 2005 10:38 pm, [EMAIL PROTECTED] wrote:
> Author: lfurini
> Date: Thu Oct 27 07:38:12 2005
> New Revision: 328882
>
<snip/>
> /**
> + * Method to determine if the character is an adjustable
> + * space.
> + * @param c character to check
> + * @return True if the character is adjustable
> + */
> + public static boolean isAdjustableSpace(char c) {
> + //TODO: are there other kinds of adjustable spaces?
> + return
> + (c == '\u0020' // normal space
> + /*|| c == ''*/);
> + }
> +
Luca,
I found this in http://www.unicode.org/reports/tr14/ section 3 (this
document is probably mandatory reading for anyone involved in line
breaking stuff):
When expanding or compressing inter-word space according to common
typographical practice, only the spaces marked by U+0020 SPACE, U+00A0
NO-BREAK SPACE, and U+3000 IDEOGRAPHIC SPACE are subject to
compression, and only spaces marked by U+0020 SPACE, U+00A0 NO-BREAK
SPACE, and occasionally spaces marked by U+2009 THIN SPACE are subject
to expansion. All other space characters normally have fixed width.
When expanding or compressing inter-character space the presence of
U+200B ZERO WIDTH SPACE or U+2060 WORD JOINER is always ignored.
HTH
Manuel
PS: I like this patch much better now - thank you
