<Swing Dev> 4923525: Replace getDefaultPattern(Locale) with DateFormat in JSpinner

[Daniel Rohe]

Hello,

as I can see the bug 4923525 is fixed in the database but the code still
remains there and is not replaced by using static methods of DateFormat as
suggested in the bug description.

I think this fix is fast and doesn't change any expected behavior. So I made
a small patch to the JSpinner's DateEditor class. The format used when
creating a date is a short date and time.

Does someone has any concerns regarding the change?

Regards,
Daniel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.openjdk.java.net/pipermail/swing-dev/attachments/20080318/92014c52/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 4923525_JSpinner.diff
Type: application/octet-stream
Size: 1346 bytes
Desc: not available
URL: <http://mail.openjdk.java.net/pipermail/swing-dev/attachments/20080318/92014c52/4923525_JSpinner.diff>