On Sat, Nov 02, 2024 at 05:49:57AM +0000, Werner LEMBERG wrote: > > >> Trying out this new feature – which is great! – I have to agree > >> with Bruno: That I get two different positions depending on whether > >> I click on the title or on the page number is unexpected (and I > >> haven't seen such a feature in other PDF documents, as far as I can > >> remember). Can you please make this work identically? > > > > It is possible to make this change but it would probably take me some > > time to do. > > OK. Thanks for considering it.
I have made this change in commit 5661fc4c01b (today). (It was not as hard as I expected as I just bypassed the code in \pdfgettoks, which is kind of a black box to me.) > > The page numbers in the indices also go to the top of the page, but > > it is not possible to change this without a lot of work and > > disruption, as the index files only record the page number. > > Now that you mention it: Having this improved would be very valuable, > too :-) I'm afraid this is really not possible at the moment. A single index entry could even have multiple page numbers for different locations in the manual. It would require changes to the index files and texindex, and possibly texi2dvi as well. We are already making a relatively small change to the index file format in the next release (changing from \ to @ as the escape character), which change has not been without difficulties.
