// If we run from a Safari instance, we don't // have a Controller object. Instead, we fake it by // using the console if (typeof Controller == 'undefined') { Controller = console; Controller.log_ = console.log; } var highlightDiffs = function() { var start = new Date().getTime(); var diffs = document.getElementsByClassName("diffcode"); for (var diffn = 0; diffn < diffs.length; diffn++) { var diff = diffs[diffn]; var content = diff.innerHTML.replace(/\s+$/, ''); var line1 = ""; var line2 = ""; var diffContent = ""; var lines = content.split('\n'); var hunk_start_line_1 = -1; var hunk_start_line_2 = -1; var header = false; for (var lineno = 0; lineno < lines.length; lineno++) { var l = lines[lineno]; var firstChar = l.charAt(0); if (header) { if (firstChar == "+" || firstChar == "-") continue; } else if (firstChar == "d") { header = true; line1 += '\n'; line2 += '\n'; diffContent += '
" + line1 + " | " +
"" + line2 + " | " +
"" + diffContent + " |