On Sun, Oct 06, 2024 at 08:30:45PM +0100, Gavin Smith wrote: > Disabling it, the sidebar is updated correctly. Here's the full change, > including your change, that appears to produce the correct behaviour:
... > I'll probably commit this in a day or two to give a chance for more > investigation and testing. I've tried to test this with various use cases including index subentries and it appears to work fine, and I've committed it. However, it is possible I missed something.
