[texinfo.tex 2024-11-01.22]
> Thanks for the quick fix!
Unfortunately, your fix is buggy; it swallows the space after the
quotation mark.
```
\input texinfo
c’’ a
@bye
```
Werner
On Sat, Nov 02, 2024 at 11:43:44AM +, Werner LEMBERG wrote:
>
> [texinfo.tex 2024-11-01.22]
>
>
> > Thanks for the quick fix!
>
> Unfortunately, your fix is buggy; it swallows the space after the
> quotation mark.
>
> ```
> \input texinfo
>
> c’’ a
>
> @bye
> ```
I belive it is because
On Sat, Nov 02, 2024 at 05:49:57AM +, 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 suc
Gavin Smith 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 f
> 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.)
Thanks!
> I'm afraid this is really not possible at the moment. A single
> index entry could even have multiple page nu
