[patch #1787] [Patch #1787] bug fix to java.text.DecimalFormat

[noreply]

Patch #1787 has been updated. 

Project: 
Category: None
Status: Open
Summary: bug fix to java.text.DecimalFormat

Follow-Ups:

Date: Fri 08/01/2003 at 14:46
By: groved

Comment:
import java.text.*;

class NumberFormatTest {

  public static void main(String[] args) {
    DecimalFormat f = new DecimalFormat();
    f.setGroupingSize(0);
    System.out.println(f.format(100000));
  }
}

-------------------------------------------------------

Date: Fri 08/01/2003 at 22:11
By: tromey

Comment:
Thanks for the test case.
If you check isGroupingUsed() with the JDK,
you'll see it is still set after the formatting.
I think we need a different approach.

I suggest adding this to the test.
And I agree the test should go in Mauve.

-------------------------------------------------------

-------------------------------------------------------
For more info, visit:

http://savannah.gnu.org/patch/?func=detailpatch&patch_id=1787&group_id=85

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/