divide is locale sensitive

[ghost]

The divide function seems locale sensitive.
On a computer with fr_FR as the locale (Windows 7 pro) the compiled CSS for say:

width: divide(BIG_MARGIN, 2);

Where BIG_MARGIN equals "25px" is "12,5px" (a comma). One would expect "12.5px" (a dot)

[iflan]

I've found the problem. In GssFunctions.java, we do:

      String resultString = new DecimalFormat(DECIMAL_FORMAT).format(total);

to format the result. Instead, we should do:

      String resultString = new DecimalFormat(DECIMAL_FORMAT, new DecimalFormatSymbols(Locale.US).format(total);

I'll see if I can create a patch next week.

[ghost]

That's a good news. Thanks !

[iflan]

This is now fixed.