wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-26 19:56:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Diff refinement fixes

Browse source 
Change-Id: I11c69de0fdcd636ccd11cd0b6cb16c5acdb188b3
This commit is contained in:
Gabriel Wicke 2012-06-04 10:16:05 +02:00
parent d2602c47a6
commit 99c98d6c56
1 changed files with 12 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
api/ParserService.js
View file

@ -137,16 +137,23 @@ var refineDiff = function( diff ) {
for ( var i = 0, l = diff.length; i < l; i++ ) {
var d = diff[i];
if ( d.added ) {
if ( added ) {
out.push( added );
}
added = d;
} else if ( d.removed ) {
if ( added ) {
var fineDiff = jsDiff.diffWords( d.value, added.value );
out.push.apply( out, fineDiff );
added = null;
} else {
out.push( d );
}
} else {
if ( added ) {
out.push( added );
added = null;
}
} else if ( added ) {
out.push( added );
added = null;
out.push(d);
}
}
@ -187,6 +194,8 @@ app.get(/\/_roundtrip\/(.*)/, function(req, res){
// Use word-based diff for small articles
patch = jsDiff.convertChangesToXML( jsDiff.diffWords( out, src ) );
} else {
//console.log(JSON.stringify( jsDiff.diffLines( out, src ) ));
//patch = jsDiff.convertChangesToXML( jsDiff.diffLines( out, src ) );
patch = jsDiff.convertChangesToXML( refineDiff( jsDiff.diffLines( out, src ) ) );
}
res.end( '<pre>' + patch);