This is jEdit5.2pre1 on Mac OS X and Java 7u55.
Using the app launcher, the default encoding comes out as US-ASCII. On the command-line
with `java -jar jedit.jar` it is UTF-8 as expected.
| Submitted | makarius - 2014-05-27 21:24:36.500000 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | normal bug |
| Resolution | None |
| 2014-06-14 10:47:03.499000 thomasmey |
What does Utilities -> Global Options... -> Encodings show in
|
|---|---|
| 2014-06-27 16:57:26.422000 makarius |
Trying this again after several weeks of vacation, I get UTF-8 as default (also in
the options).
|
| 2014-07-02 15:20:21.998000 makarius |
I have tried again with a fresh installation of:
|