Mr. Anonymous wrote:
OK, I looked at it, and I saw that the links are generated by javascript.
So I decided to try and write a better javascript function for creating
links.
Here's what I came up with:
The JS code: http://pastebin.com/Pz4fb4JR
Screenshots: http://i.imgur.com/gwxrI.png, http://i.imgur.com/qGGQn.png
As you can see, the code works for both the website html and the one
bundled with dmd.
If my function finds nothing, it falls back to it's old version of
anchor list.
This solution is quite bad and temporary, but what we have now is not
much better, so, for a while, I think it's worth using.
I've also tried to improve it:
http://forum.dlang.org/thread/jb0ril$17oa$1...@digitalmars.com
But I think that top positioned index is bad. It should be on the left,
or the right pane.
