#785 Text search. Unicode case insensitive search

This commit is contained in:
2015-02-02 08:21:57 +01:00
parent ef4b97a146
commit e7f1182c6a
@@ -1334,9 +1334,9 @@ public final class MainPanel extends JPanel implements ActionListener, TreeSelec
List<TextTag> found = new ArrayList<>();
Pattern pat;
if (regexp) {
pat = Pattern.compile(txt, ignoreCase ? Pattern.CASE_INSENSITIVE : 0);
pat = Pattern.compile(txt, ignoreCase ? (Pattern.CASE_INSENSITIVE | Pattern.UNICODE_CASE) : 0);
} else {
pat = Pattern.compile(Pattern.quote(txt), ignoreCase ? Pattern.CASE_INSENSITIVE : 0);
pat = Pattern.compile(Pattern.quote(txt), ignoreCase ? (Pattern.CASE_INSENSITIVE | Pattern.UNICODE_CASE) : 0);
}
for (Tag tag : swf.tags) {
if (tag instanceof TextTag) {