[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Broken info.js index search
|
From: |
Gavin Smith |
|
Subject: |
Broken info.js index search |
|
Date: |
Mon, 7 Oct 2024 21:11:25 +0100 |
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.