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 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).

Nice. Thank you very much!

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