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

Attachment: 4923525_JSpinner.diff
Description: Binary data

Reply via email to