(doc, change)
| 4378 | } |
| 4379 | |
| 4380 | function makeChangeInner(doc, change) { |
| 4381 | if (change.text.length == 1 && change.text[0] == "" && cmp(change.from, change.to) == 0) return; |
| 4382 | var selAfter = computeSelAfterChange(doc, change); |
| 4383 | addChangeToHistory(doc, change, selAfter, doc.cm ? doc.cm.curOp.id : NaN); |
| 4384 | |
| 4385 | makeChangeSingleDoc(doc, change, selAfter, stretchSpansOverChange(doc, change)); |
| 4386 | var rebased = []; |
| 4387 | |
| 4388 | linkedDocs(doc, function(doc, sharedHist) { |
| 4389 | if (!sharedHist && indexOf(rebased, doc.history) == -1) { |
| 4390 | rebaseHist(doc.history, change); |
| 4391 | rebased.push(doc.history); |
| 4392 | } |
| 4393 | makeChangeSingleDoc(doc, change, null, stretchSpansOverChange(doc, change)); |
| 4394 | }); |
| 4395 | } |
| 4396 | |
| 4397 | // Revert a change stored in a document's history. |
| 4398 | function makeChangeFromHistory(doc, type, allowSelectionOnly) { |
no test coverage detected