From da4df73ad770c30b2e6c5d2606e11ed7dc291cd0 Mon Sep 17 00:00:00 2001
From: Florian Pritz <bluewind@xinu.at>
Date: Fri, 30 Sep 2011 17:02:19 +0200
Subject: highlight complete line; not only line number

Signed-off-by: Florian Pritz <bluewind@xinu.at>
---
 application/views/file/html_header.php | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

(limited to 'application/views/file/html_header.php')

diff --git a/application/views/file/html_header.php b/application/views/file/html_header.php
index 52ffab007..f57884643 100644
--- a/application/views/file/html_header.php
+++ b/application/views/file/html_header.php
@@ -17,5 +17,34 @@
         <a class="raw_link no" href="<?php echo $rmd_link; ?>">Render Markdown</a>
       </div>
     </div>
+  <script type="text/javascript">
+		/* <![CDATA[ */
+function update_anchor_highlight() {
+	var anchor = window.location.hash.substr(1);
+	var element = document.getElementById("highlight_line");
+	if (element) {
+		element.parentNode.removeChild(element);
+	}
+
+	anchor = document.getElementById(anchor);
+	if (!anchor) {
+		return;
+	}
+	var newElement = document.createElement("div");
+	newElement.setAttribute("id", "highlight_line");
+	newElement.textContent=" ";
+	anchor.parentNode.insertBefore(newElement, anchor.nextSibling);
+}
+
+if ("onhashchange" in window) {
+	window.onload = function () {
+		update_anchor_highlight();
+	}
+	window.onhashchange = function () {
+		update_anchor_highlight();
+	}
+}
+    /* ]]> */
+  </script>
     <table class="content">
       <tr>
-- 
cgit v1.2.3-24-g4f1b