Check for word characters in a slightly more robust way.

Author: marijnh

lib/codemirror.js

@@ -1091,7 +1091,7 @@ var CodeMirror = (function() {
         var sawWord = false;
         for (;;) {
           if (dir < 0) if (!moveOnce()) break;
-          if (/\w/.test(lineObj.text.charAt(ch))) sawWord = true;
+          if (isWordChar(lineObj.text.charAt(ch))) sawWord = true;
           else if (sawWord) {if (dir < 0) {dir = 1; moveOnce();} break;}
           if (dir > 0) if (!moveOnce()) break;
         }
@@ -1123,8 +1123,8 @@ var CodeMirror = (function() {
     function selectWordAt(pos) {
       var line = getLine(pos.line).text;
       var start = pos.ch, end = pos.ch;
-      while (start > 0 && /\w/.test(line.charAt(start - 1))) --start;
-      while (end < line.length && /\w/.test(line.charAt(end))) ++end;
+      while (start > 0 && isWordChar(line.charAt(start - 1))) --start;
+      while (end < line.length && isWordChar(line.charAt(end))) ++end;
       setSelectionUser({line: pos.line, ch: start}, {line: pos.line, ch: end});
     }
     function selectLine(line) {
@@ -2697,6 +2697,9 @@ var CodeMirror = (function() {
       if (collection[i] == elt) return i;
     return -1;
   }
+  function isWordChar(ch) {
+    return /\w/.test(ch) || ch.toUpperCase() != ch.toLowerCase();
+  }
 
   // See if "".split is the broken IE version, if so, provide an
   // alternative way to split lines.