diff options
| author | Neil Mitchell <http://www.cs.york.ac.uk/~ndm/> | 2007-01-12 12:25:01 +0000 |
|---|---|---|
| committer | Neil Mitchell <http://www.cs.york.ac.uk/~ndm/> | 2007-01-12 12:25:01 +0000 |
| commit | 4bdbe1b8f953b0df172e26ac1ae3010fe0bbe04e (patch) | |
| tree | 29d688410a08eec785d1f0cf12f3bbe389f99d53 /html/haddock-util.js | |
| parent | c43544f083b13248414a5dee268c7dba0f4e1a4b (diff) | |
Make the max number of results 75 instead of 50, to allow map searching in the base library to work
Diffstat (limited to 'html/haddock-util.js')
| -rw-r--r-- | html/haddock-util.js | 2 |
1 files changed, 1 insertions, 1 deletions
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; |