On Mon, Oct 28, 2024 at 09:08:11PM +0100, Bruno Haible wrote: > 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.
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.
