Menumanager: Lowercase strings (#1283)

This commit is contained in:
Lucwousin
2019-08-07 23:21:20 +02:00
committed by GitHub
parent 604f864d5d
commit e7fd183080

View File

@@ -96,7 +96,7 @@ public class MenuEntry
public String standardize(String string)
{
return TAG_REGEXP.reset(string).replaceAll("").replace('\u00A0', ' ').trim();
return TAG_REGEXP.reset(string).replaceAll("").replace('\u00A0', ' ').trim().toLowerCase();
}
private static final Matcher LEVEL_MATCHER = Pattern.compile("\\(level-[0-9]*\\)").matcher("");