Hi Gavin,

Gavin Smith wrote:
> You're right.  The link from the entry text to the page was only added
> on 2022-12-03; before that, only the page number was linkized.
> 
> I have attempted a fix (024a4e8bb3, 2024-10-28).

Thanks! That works nicely, both in okular and firefox.

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. The fact that I cannot click on the
whitespace / dots between the two is a minor quirk that users are already
accustomed to.

Bruno




  • 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
                • ... Gavin Smith

Reply via email to