On 11/18/22 14:43, Gavin Smith wrote:
Unfortunately, it has various obvious problems. Most significantly, the
index search does not work.
The problem is line 1459 in info.js:
var index_links = document.querySelectorAll ("td[valign=top] a");
The <td> elements in index no longer have the valign="top" attribute,
so this query fails to find anything. Instead we can do:
var index_links = document.querySelectorAll ("td a");
Being a bit stricter in the search seems to make sense to me.
Maybe something like:
var index_links = document.querySelectorAll ("div.printindex td a");
I don't know if this is the right thing - i.e. if it matches all the indices
we need.
--
--Per Bothner
p...@bothner.com http://per.bothner.com/