From: Jarek C. <jar...@po...> - 2011-08-11 08:18:12
|
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> </head> <body bgcolor="#ffffff" text="#000000"> Which encoding should I choose in buffer options for java property files?<br> <br> This standard has no formal name (too bad), java language specification <a href="http://java.sun.com/docs/books/jls/third_edition/html/lexical.html#3.3">refers to it</a> as Unicode Escapes, sometimes it's called "ascii with escaped unicode java style". I see it's also mentioned in <a href="http://www.faqs.org/rfcs/rfc5137.html">RFC5137</a>, section 6.3. An answer to my question should probably be put in Character encodings section of jEdit User's Guide.<br> <br> Jarek<br> </body> </html> |