[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
info finds things it shouldn't find when using hide-note-references
From: |
Benno Schulenberg |
Subject: |
info finds things it shouldn't find when using hide-note-references |
Date: |
Sat, 31 Mar 2018 12:27:21 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.7.0 |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- info finds things it shouldn't find when using hide-note-references,
Benno Schulenberg <=