From e7f1182c6a9b30ad1058f8c6c1c435a4a1c42b84 Mon Sep 17 00:00:00 2001 From: "honfika@gmail.com" Date: Mon, 2 Feb 2015 08:21:57 +0100 Subject: [PATCH] #785 Text search. Unicode case insensitive search --- src/com/jpexs/decompiler/flash/gui/MainPanel.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/com/jpexs/decompiler/flash/gui/MainPanel.java b/src/com/jpexs/decompiler/flash/gui/MainPanel.java index 573cb35c7..19dc89d64 100644 --- a/src/com/jpexs/decompiler/flash/gui/MainPanel.java +++ b/src/com/jpexs/decompiler/flash/gui/MainPanel.java @@ -1334,9 +1334,9 @@ public final class MainPanel extends JPanel implements ActionListener, TreeSelec List 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) {