[ jEdit-devel ] [ jedit-Bugs-588614 ] JavaStyle: localized date

[<no...@so...>]

Bugs item #588614, was opened at 2002-07-30 16:31
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=588614&group_id=588

Category: plugins
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Sergey V. Udaltsov (svu)
Assigned to: Nobody/Anonymous (nobody)
Summary: JavaStyle: localized date

Initial Comment:
When javastyle creates the date in javadoc comments
(@created tag), it uses the current locale. That is not
always good. My locale is russian but I'd like to have
this date in US English format. Can this be customizable?

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

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=588614&group_id=588