diff -Naur src/org/omegat/filters2/latex/LatexFilter.java src-mod/org/omegat/filters2/latex/LatexFilter.java
--- src/org/omegat/filters2/latex/LatexFilter.java 2011-09-02 18:08:14.000000000 +0200
+++ src-mod/org/omegat/filters2/latex/LatexFilter.java 2011-11-22 00:05:41.472286807 +0100
@@ -229,7 +229,7 @@
private String substituteUnicode(String par) {
par = par.replaceAll("\\\\\\\\", "<br0>");
- par = par.replaceAll("\\{?\\\\ss\\}?", "ß");
+ par = par.replaceAll("\\{?\\\\ss\\}?", "\u00df");
par = par.replaceAll("\\{?\\\\glqq\\}?(\\{\\})?", "\u301f");
par = par.replaceAll("\\{?\\\\grqq\\}?(\\{\\})?", "\u301d");
par = par.replaceAll("\\{?\\\\glq\\}?(\\{\\})?", "\u201a");
diff -Naur src/org/omegat/gui/glossary/FindGlossaryThread.java src-mod/org/omegat/gui/glossary/FindGlossaryThread.java
--- src/org/omegat/gui/glossary/FindGlossaryThread.java 2011-04-25 11:13:44.000000000 +0200
+++ src-mod/org/omegat/gui/glossary/FindGlossaryThread.java 2011-11-22 00:01:29.278538728 +0100
@@ -216,8 +216,8 @@
}
}
- // �� Sort items with same locTxt
- // �����������������������������������
+ // == Sort items with same locTxt
+ // ===================================
List<GlossaryEntry> sortList = new LinkedList<GlossaryEntry>();
if (srcList.size() > 1) {
for (int k = 0; k < srcList.size(); k++) {
@@ -243,7 +243,7 @@
} else {
sortList = srcList;
}
- // ������������������������������������������������������������������
+ // ==================================================================
// == Now put the sortedList together
// ===============================