From 12b1c76fefc78b2a0fa54138a550c73802b1847d Mon Sep 17 00:00:00 2001
From: Neil Mitchell <http://www.cs.york.ac.uk/~ndm/>
Date: Thu, 11 Jan 2007 17:07:09 +0000
Subject: Add searching on the index page

---
 html/haddock-util.js | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

(limited to 'html')

diff --git a/html/haddock-util.js b/html/haddock-util.js
index 4280d19c..fe471453 100644
--- a/html/haddock-util.js
+++ b/html/haddock-util.js
@@ -13,3 +13,30 @@ function toggle(button,id)
 	n.display = "none";
    }
 }
+
+
+function quick_search()
+{
+    perform_search(false);
+}
+
+function full_search()
+{
+    perform_search(true);
+}
+
+
+function perform_search(full)
+{
+    var text = document.getElementById("searchbox").value.toLowerCase();
+    var table = document.getElementById("indexlist");
+    var children = table.firstChild.childNodes;
+    for (var i = 0; i < children.length; i++)
+    {
+    	var c = children[i];
+    	var s = c.firstChild.firstChild.data;
+    	var show = s.toLowerCase().indexOf(text) != -1;
+    
+    	c.style.display = (show ? "" : "none");
+    }
+}
-- 
cgit v1.2.3