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

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

Now that you mention it: Having this improved would be very valuable,
too :-)


    Werner
  • 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