|
| 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] |