history.js: Fix display of mode-change and rename

Pieter rewrote history.js in cfbcfc1f38, avoiding the use of
.innerHTML for performance reasons. This broke the HTML-arrows when
dealing with renames / mode-changes because createTextNode quotes them.
This is a simple work-around.

Signed-off-by: Johannes Gilger <heipei@hackvalue.de>
This commit is contained in:
Johannes Gilger
2009-05-28 14:51:30 +02:00
committed by Pieter de Bie
parent 3b6c2a3048
commit fe54a464f7
+2 -2
View File
@@ -207,7 +207,7 @@ var showDiff = function() {
buttonType = "changed"
link.appendChild(document.createTextNode(name1));
if (mode_change)
p.appendChild(document.createTextNode("mode " + old_mode + " &#8594; " + new_mode));
p.appendChild(document.createTextNode(" mode " + old_mode + " -> " + new_mode));
}
else if (name1 == "/dev/null") {
buttonType = "created";
@@ -220,7 +220,7 @@ var showDiff = function() {
else {
buttonType = "renamed";
link.appendChild(document.createTextNode(name2));
p.insertBefore(document.createTextNode(name1), link);
p.insertBefore(document.createTextNode(name1 + " -> "), link);
}
button.setAttribute("class", "button " + buttonType);
button.appendChild(document.createTextNode(buttonType));