Make nickname matching case-sensitive (#3035)

Perform case-sensitive matching for highlighting the own nickname in MUC
messages and while checking whether to notify.
This commit is contained in:
Holger Weiß 2018-05-20 15:54:34 +02:00 committed by Daniel Gultsch
parent 3837826b67
commit e948d12085

View file

@ -710,7 +710,7 @@ public class NotificationService {
} }
public static Pattern generateNickHighlightPattern(final String nick) { public static Pattern generateNickHighlightPattern(final String nick) {
return Pattern.compile("(?<=(^|\\s))" + Pattern.quote(nick) + "\\b", Pattern.CASE_INSENSITIVE | Pattern.UNICODE_CASE); return Pattern.compile("(?<=(^|\\s))" + Pattern.quote(nick) + "\\b");
} }
public void setOpenConversation(final Conversation conversation) { public void setOpenConversation(final Conversation conversation) {