Add Hebrew to special symbols.

[redakcja.git] / src / redakcja / static / js / lib / codemirror-5.49.0 / searchcursor.js

diff --git a/src/redakcja/static/js/lib/codemirror-5.49.0/searchcursor.js b/src/redakcja/static/js/lib/codemirror-5.49.0/searchcursor.js
index aae36df..4c8c468 100644 (file)
--- a/src/redakcja/static/js/lib/codemirror-5.49.0/searchcursor.js
+++ b/src/redakcja/static/js/lib/codemirror-5.49.0/searchcursor.js
@@ -121,8 +121,9 @@
 
   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 }