- 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") }