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/

Reply via email to