From bad99be131f9af70f21817c92a03c3c1ed66cdbc Mon Sep 17 00:00:00 2001
From: Pieter de Bie <pdebie@ai.rug.nl>
Date: Mon, 19 Jan 2009 21:41:29 +0000
Subject: [PATCH] DiffView: Fix displaying of diffs

This was lost when changing the diff mechanism to
highlight only a single div, rather than all diffs
in the body.
---
 html/views/diff/index.html | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/html/views/diff/index.html b/html/views/diff/index.html
index 2395868..5c995ec 100644
--- a/html/views/diff/index.html
+++ b/html/views/diff/index.html
@@ -9,8 +9,7 @@
 
 	<script type="text/javascript" charset="utf-8">
 		var showDiff = function(diff) {
-			document.getElementById("details").innerHTML = diff.escapeHTML();
-			highlightDiffs();
+			highlightDiff(diff, $("details"));
 		}
 	</script>
 </head>