RE: Haddock: how to disable the JavaScript menus?
On 27 September 2004 14:22, Peter Simons wrote:
Is there any way to tell Haddock (the version from CVS HEAD) to _not_ generate those JavaScript menus on the contents page? I'd rather have plain and simple HTML here.
Or, if that isn't possible, is there any way make Haddock generate those menus so that they are all _open_ when one loads the page?
This change has now been made. The JavaScript stuff is still experimental - I'm certainly not going to release a new Haddock version in its current state - we need a way to retain the collapsed/expanded state between page transitions (JavaScript hackers apply here!). Cheers, Simon
Simon Marlow writes:
This change has now been made.
Uh ... any hints what has changed? A new command line flag?
we need a way to retain the collapsed/expanded state between page transitions (JavaScript hackers apply here!).
I am not certain whether these collapsed menus are a good idea. Admitted, they make the page shorter at first glance. But at the same time, they make it impossible to search in the text! When I want to see the documentation for, say Data.List, I hit CTRL-HOME in Mozilla, then type "/data.lis", and finally press RETURN to follow the link -- and I have reached the page. The hands never left the keyboard. With collapsed menus, that doesn't work anymore. Anyway, if there was an option to enable/disable that functionality in Haddock, all would be well. :-) Peter
participants (2)
-
Peter Simons -
Simon Marlow