On Sat, Mar 31, 2018 at 11:27 AM, Benno Schulenberg <[email protected]> wrote: > > When using hide-note-references=On, info will find strings in > nodelines -- something it will not do when not using that option. > > To reproduce, make your .infokey file consist of these two lines: > > #var > hide-note-references=On > > Then run 'info info' and type: > / style <Enter> } > > The cursor will sit in the node line of section 12, instead of > in the title of section 13 -- where two more } will bring you. > > This is a minor nuisance. But it becomes puzzling when you > also use "nodeline=no". Then the cursor will sit at the top > of section 12 without any occurrence being highlighted. :| > > > $ info --version | head -1 > info (GNU texinfo) 6.5 > > Benno
Thanks for the report and apologies for the late response. I think I've fixed the issue - this was a relic of an earlier stage of development when the "hide-note-references" variable would also hide the nodeline.
