[ jEdit-devel ] [ jedit-Bugs-454555 ] JStyle: problem with Russian locale

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

Bugs item #454555, was opened at 2001-08-23 06:04
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=454555&group_id=588

Category: plugins
Group: minor bug
Status: Open
Resolution: None
Priority: 5
Submitted By: Sergey V. Udaltsov (svu)
Assigned to: Nobody/Anonymous (nobody)
Summary: JStyle: problem with Russian locale

Initial Comment:
When JStyle is applied more than once to some .java
file, the date in @created is garbled. 

Local settings:
LANG=ru_RU.KOI8-R (in OS)
Character encoding (in jEdit) - KOI8-R.

Reproduce:
1. Create file zz.java
public class zz {}
2. Apply JStyle - correct data in russian encoding
appears
"23 Á×ÇÕÓÔÁ 2001 Ç.", for example.
3. Save the file
4. Apply JStyle again - now the data (the name of the
month) is completely garbled:
"23 ^P23CAB 2001 3."

JVM 1.3.1 by Blackdown, RH Linux 7.1

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

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