#1349 Page number not updated on certain zoom levels

[Nils Werner]

When viewing PDFs on 100% or closer, the page number in the toolbar is not updated when scrolling. This messes up auto-reloading documents, such as when compiling them using LaTeX.

OS: macOS 10.15.2 (19C57)
Skim: 1.5.6

Observed behaviour:

The page number in the menu bar does not update on 100% or closer zoom levels.

Expected behaviour:

The page umber in the menu bar updates on all zoom levels.

Steps to reproduce:

1. Open any PDF.
2. Zoom to 100% by pressing the middle "magnification glass" button
3. Scroll around. The page number in the toolbar is not updated.
4. Zoom out one step by pressing the leftmost "magnification glass" button
5. Scroll around. The page number updates as expected.

[Christiaan Hofman]

I cannot reproduce this. There must be something else than setting the zoom
level to 100%.

However we can almost certainly not do anything about this. When the number
is not updated it means we are not notified about the changes. And that
means we have no way if knowing about that. The bug is in Apple's PDFKit,
we have no control over that. It is Apple's responsibility to fix this.