From a8f76ebb5ba5b19c4e572ccadfd3fec1b9b03b6c Mon Sep 17 00:00:00 2001
From: Stefan Breunig <stefan@mathphys.fsk.uni-heidelberg.de>
Date: Fri, 8 Feb 2013 19:54:29 +0100
Subject: [PATCH] make nick highlighting not depend on case

---
 code/boot.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/code/boot.js b/code/boot.js
index 16184bb2..8ebce5b0 100644
--- a/code/boot.js
+++ b/code/boot.js
@@ -173,7 +173,7 @@ function boot() {
 
   // load only once
   var n = window.PLAYER['nickname'];
-  window.PLAYER['nickMatcher'] = new RegExp('\\b('+n+')\\b');
+  window.PLAYER['nickMatcher'] = new RegExp('\\b('+n+')\\b', 'ig');
 
   $('#sidebar').show();
 }