On Tue, Apr 07, 2026 at 09:07:21PM +0100, Gavin Smith wrote: > On Tue, Apr 07, 2026 at 02:22:57PM +0800, aidan wrote: > > *Steps to reproduce:* > > > > > > > > *run stand-alone info with:*env -u INFOPATH info --init-file /dev/null -v > > hide-note-references=On > > > > > > *Actual behavior:* > > > > The nodes in the opened dir node menu cannot be selected > > I can confirm this problem. I evidently never tested it with > hide-note-references=On after making the change. I will try to > work on a fix. >
I've attempted a fix in commit 1a108d7cfea52a1865b. This seems to me to be a severe enough bug that it should be included in any future Texinfo 7.3.1 bugfix release, so I will create a release branch and add this commit to it.
