// Liste des encodages
private void loadEncodings() {
wEncoding.removeAll();
List<Charset> values = new ArrayList<Charset>(Charset.availableCharsets().values());
for (int i = 0; i < values.size(); i++) {
Charset charSet = (Charset) values.get(i);
wEncoding.add(charSet.displayName());
}
// Celui par défaut en environnement
String defEncoding = Const.getEnvironmentVariable("file.encoding", "UTF-8");
int idx = Const.indexOfString(defEncoding, wEncoding.getItems());
if (idx >= 0) wEncoding.select(idx);
}
private void setEncodings() {
// Encoding of the text file:
if (!gotEncodings) {
gotEncodings = true;
wEncoding.removeAll();
List<Charset> values = new ArrayList<Charset>(Charset.availableCharsets().values());
for (int i = 0; i < values.size(); i++) {
Charset charSet = values.get(i);
wEncoding.add(charSet.displayName());
}
// Now select the default!
String defEncoding = Const.getEnvironmentVariable("file.encoding", "UTF-8");
int idx = Const.indexOfString(defEncoding, wEncoding.getItems());
if (idx >= 0) {
wEncoding.select(idx);
}
}
}
