diff --git a/src/com/jpexs/decompiler/flash/gui/AdvancedSettingsDialog.java b/src/com/jpexs/decompiler/flash/gui/AdvancedSettingsDialog.java index 6df4de127..dff19cb57 100644 --- a/src/com/jpexs/decompiler/flash/gui/AdvancedSettingsDialog.java +++ b/src/com/jpexs/decompiler/flash/gui/AdvancedSettingsDialog.java @@ -417,7 +417,7 @@ public class AdvancedSettingsDialog extends AppDialog { } String locNameHtml = locName; if (!filter.trim().equals("")) { - locNameHtml = locNameHtml.replaceAll("(?i)" + Pattern.quote(filter), "{bold}$0{/bold}"); + locNameHtml = Pattern.compile(Pattern.quote(filter), Pattern.UNICODE_CASE + Pattern.CASE_INSENSITIVE).matcher(locNameHtml).replaceAll("{bold}$0{/bold}"); } locNameHtml = "" + locNameHtml.replace("&", "&").replace("<", "<").replace(">", ">")+ ""; locNameHtml = locNameHtml.replace("{bold}", "").replace("{/bold}", "");