From 4bdbe1b8f953b0df172e26ac1ae3010fe0bbe04e Mon Sep 17 00:00:00 2001 From: Neil Mitchell Date: Fri, 12 Jan 2007 12:25:01 +0000 Subject: Make the max number of results 75 instead of 50, to allow map searching in the base library to work --- html/haddock-util.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/html/haddock-util.js b/html/haddock-util.js index ddc7f6d0..e5d6977e 100644 --- a/html/haddock-util.js +++ b/html/haddock-util.js @@ -15,7 +15,7 @@ function toggle(button,id) } -var max_results = 50; +var max_results = 75; // 50 is not enough to search for map in the base libraries var shown_range = null; var last_search = null; -- cgit v1.2.3