On Thu, Oct 31, 2024 at 08:41:54PM +0000, Werner LEMBERG wrote:
> 
> >> And what about the page number itself? As a user, I would expect
> >> that clicking on the the entry text and clicking on the page number
> >> at the right of it bring me to the same position.
> >
> > I had thought about the page number, but it is not a big deal, as
> > most users will be clicking on the section title, not the page
> > number.  Arguably it is not wrong for the page number to link to
> > (near the) top of the page, and it gives users another option for
> > which part of the page to go to.
> 
> 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.

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.

  • Inte... Bruno Haible via Bug reports for the GNU Texinfo documentation system
    • ... Gavin Smith
      • ... Bruno Haible via Bug reports for the GNU Texinfo documentation system
        • ... Gavin Smith
          • ... Werner LEMBERG
            • ... Gavin Smith
              • ... Werner LEMBERG
                • ... Gavin Smith
                • ... Bruno Haible via Bug reports for the GNU Texinfo documentation system
                • ... Werner LEMBERG

Reply via email to