Hi,
I would like to report more on the way Skim.app (1.4.25 (99)) behaves when
refreshing (sync).
1. If Skim.app is showing a multi-page pdf and the page divider happens to be
below the middle of the view window, then refreshing preserves the position.
2. If the page divider is above the middle of the window, then refreshing makes
the page jump to the top of the next page. For example, if the top 25% of the
view shows page 6 and the bottom 75% of the view shows page 7 (see the
illustration below) and I refresh the pdf file, then Skim.app jumps to the top
of page 7.
+-------------------------------------------+
| .................................... |
| Page 6 |
| |
+-------------------------------------------+ <- Page divider
| |
| .................................... |
| .................................... |
| .................................... |
| .................................... |
| .................................... |
| .................................... |
| .................................... |
+-------------------------------------------+
Thank you.
Chirok
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! http://sdm.link/slashdot
_______________________________________________
Skim-app-users mailing list
Skim-app-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/skim-app-users
