wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-24 14:33:59 +00:00
Code Issues Packages Projects Releases Wiki Activity

Make pushReplace([], []) do nothing

Browse source 
Change-Id: Ifa8df99f376ce22add9d06e76831e8b661e6ddbf
This commit is contained in:
Catrope 2012-06-06 10:58:08 -07:00
parent 2439c0149a
commit d39fb9dd1c
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
modules/ve2/dm/ve.dm.Transaction.js
View file

@ -262,6 +262,10 @@ ve.dm.Transaction.prototype.pushRetain = function( length ) {
* @param {Array] insert Data to replace 'remove' with
*/
ve.dm.Transaction.prototype.pushReplace = function( remove, insert ) {
if ( remove.length === 0 && insert.length === 0 ) {
// Don't push no-ops
return;
}
this.operations.push( {
'type': 'replace',
'remove': remove,