Prem Balakrishnan 12675924fc 6421058: When calls JSpinner.setEditor() the font in a JSpinner become is a bold ...

Reviewed-by: serb, alexsch

2016-05-10 16:08:21 +05:30

..

bug6421058.java

6421058: When calls JSpinner.setEditor() the font in a JSpinner become is a bold

2016-05-10 16:08:21 +05:30