[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: info finds things it shouldn't find when using hide-note-references
From: |
Gavin Smith |
Subject: |
Re: info finds things it shouldn't find when using hide-note-references |
Date: |
Sat, 2 Jun 2018 10:51:20 +0100 |
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.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: info finds things it shouldn't find when using hide-note-references,
Gavin Smith <=