Menu

#1490 Scrolling with up arrow jumps up a page

Other
closed-fixed
nobody
None
5
2023-05-12
2023-02-02
Will
No

When I scroll up in a PDF by holding the up arrow, after about scrolling up half a page, the scroll position jumps to the top of the page. Scrolling with the mouse scroll wheel or scroll bar is unaffected.

This is a new problem that I am experiencing on Version 1.6.14 (144).

I just downloaded Version 1.6.13 (143) and it works properly.

Discussion

  • Christiaan Hofman

    • status: unread --> open-works-for-me
     
  • Christiaan Hofman

    I don't see this problem at all. What display mode settings and scale are you using?

    Apart from that, scrolling by the up arrow is implemented by Apple's PDFKit, not by our code. So I don't see how it could change between different Skim versions, or for that matter be changed by us.

     
    • Will

      Will - 2023-02-02

      I can reproduce this on my MacBook Pro (14-inch, 2021) with default display settings (not scaled).

      When I do the same in Preview (also using PDFKit I believe) it works without any issue. (As an aside, the scrolling is much faster in Preview than Skim — not an issue, but interesting to note).

      I am attaching a screen recording to illustrate what I am referring to in case the description wasn't clear. I am just holding down the up arrow on the keyboard.

       
  • Christiaan Hofman

    I can reproduce it now. It looks like PDFKit is really responsible for the bug, by calling a navigation action when it is just scrolling. (BTW that also messes with the page history, showing that this really is a bug). And this interferes with a workaround we have for problems PDFKit has with page navigation (not navigating to the page you are asking to navigate to). Unfortunately, avoiding this bug would expos the other bug again. Not sure how to get out of this conundrum without Apple fixing their bugs.

     
  • Christiaan Hofman

    • status: open-works-for-me --> open-fixed
     
  • Christiaan Hofman

    I found a way to avoid the workaround during scrolling. This should be fixed for the next release.

     
  • Christiaan Hofman

    • Status: open-fixed --> closed-fixed
     

Log in to post a comment.

MongoDB Logo MongoDB