bug-texinfo
[Top][All Lists]
Advanced

[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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]