rem: if (docStatus == 0) docStatus = 2; else docStatus = 0; 
add: if (docStatus == 2 ) docStatus = 0; else if (XRai.isConsistent()) docStatus = 2; 
context: XRai.onFinishClick = function() {   var t = document.getElementById("finishImg");   if (highlight_only) {     if (docStatus == 0) docStatus = 2; else docStatus = 0;   } else {     if (docStatus == 1 && XRai.toAssess.length == 0) { docStatus = 2; }     else if (docStatus == 2) { docStatus = 1; }   }   XRai.updateSaveIcon();}
meta: 8632	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8632/07a6aac453fc37870277d3b8b745ae35c071c17b/article.js/buggy/trunk/js/article.js