Re: info finds things it shouldn't find when using hide-note-references

[Gavin Smith]

On Sat, Mar 31, 2018 at 11:27 AM, Benno Schulenberg <address@hidden> 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.