Fix non breaking spaces (for space splitting) getting added as real spaces

muan · marijnh · commit 1004275951b0 · 2018-04-26T08:43:56.000+02:00
diff --git a/src/input/ContentEditableInput.js b/src/input/ContentEditableInput.js
@@ -431,7 +431,7 @@ function domTextBetween(cm, from, to, fromLine, toLine) {
         walk(node.childNodes[i])
       if (isBlock) closing = true
     } else if (node.nodeType == 3) {
-      addText(node.nodeValue)
+      addText(node.nodeValue.replace(/\u00a0/g, " "))
     }
   }
   for (;;) {

Original file line number	Diff line number	Diff line change
`@@ -431,7 +431,7 @@ function domTextBetween(cm, from, to, fromLine, toLine) {`
`431`	`431`	`walk(node.childNodes[i])`
`432`	`432`	`if (isBlock) closing = true`
`433`	`433`	`} else if (node.nodeType == 3) {`
`434`		`- addText(node.nodeValue)`
	`434`	`+ addText(node.nodeValue.replace(/\u00a0/g, " "))`
`435`	`435`	`}`
`436`	`436`	`}`
`437`	`437`	`for (;;) {`