|
From: | Per Bothner |
Subject: | Re: info.js demo on Texinfo manual updated on website |
Date: | Sun, 27 Nov 2022 12:48:41 -0800 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.5.0 |
On 11/27/22 12:24, Gavin Smith wrote:
The main other problem is updating the contents sidebar after an index search. You can see it at.... It would be good to have this fixed before the 7.0.1 bug-fix release.I do not know if I will have time or be able to fix it myself.
I'm looking at it. -- --Per Bothner per@bothner.com http://per.bothner.com/
[Prev in Thread] | Current Thread | [Next in Thread] |