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
p...@bothner.com http://per.bothner.com/
