Undo
[redakcja.git] / src / redakcja / static / js / lib / codemirror-5.49.0 / searchcursor.js
index aae36df..4c8c468 100644 (file)
 
   var doFold, noFold
   if (String.prototype.normalize) {
 
   var doFold, noFold
   if (String.prototype.normalize) {
-    doFold = function(str) { return str.normalize("NFD").toLowerCase() }
-    noFold = function(str) { return str.normalize("NFD") }
+    /* FNP: NFD changed to NFC, because of https://github.com/codemirror/CodeMirror/issues/6672 */
+    doFold = function(str) { return str.normalize("NFC").toLowerCase() }
+    noFold = function(str) { return str.normalize("NFC") }
   } else {
     doFold = function(str) { return str.toLowerCase() }
     noFold = function(str) { return str }
   } else {
     doFold = function(str) { return str.toLowerCase() }
     noFold = function(str) { return str }