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

Pieter rewrote history.js in cfbcfc1, 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 <[email protected]>

Author: heipei

html/views/history/history.js

@@ -207,7 +207,7 @@ var showDiff = function() {
 			buttonType = "changed"
 			link.appendChild(document.createTextNode(name1));
 			if (mode_change)
-				p.appendChild(document.createTextNode("mode " + old_mode + " → " + 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));