mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +00:00
7a726b0278
To handle replace operations that are not themselves consistent (these are common, for instance when replacing an opening element in one place, then replacing the closing element somewhere else), we process subsequent replace operations inside the first one until things are balanced again, then issue a single rebuild for the whole thing. Change-Id: Ide4613f046fabfeeef383138c39e350b1b710033 |
||
---|---|---|
.. | ||
nodes | ||
serializers | ||
ve.dm.BranchNode.js | ||
ve.dm.DocumentSynchronizer.js | ||
ve.dm.js | ||
ve.dm.LeafNode.js | ||
ve.dm.Node.js | ||
ve.dm.Surface.js | ||
ve.dm.Transaction.js | ||
ve.dm.TransactionProcessor.js |