Menu

#1352 Skim synchronization with Emacs changes vertical positioning of page so that current line is *not* visible anymore unless 'Zoom to Fit' is enabled

Other
closed-wont-fix
nobody
None
5
2020-02-08
2020-02-08
No

Hi,

I use Skim 1.5.6 (122) under macOS 10.15.3 with PDF-TeX Sync support (Preset: Emacs) when creating PDF documents from LaTeX (in particular, slides for talks). Skim's PDF -> PDF Display is set to Single Page Continuous. If 'Zoom To Fit' is not enabled/active (in which case one sees grey bars to the left/right of a page if zoomed out), then compiling a .tex document will make Skim change the current page display (typically by something like a page or so) even if the line the cursor is on in the .tex file in Emacs is actually perfectly centered or visible on what's currently shown in Skim. In other words, even if the page currently shown by Skim is perfectly vertically centered to display a new change in the .tex file, Skim still changes the vertical positioning of the page -- and, which is very annoying, often so that the current page is not visible anymore. This forces one to manually switch to Skim and scroll again to the right page to see the change.

This problem does not happen if the PDF is shown with 'Zoom To Fit' (and if 'Zoom To Fit' is not activated, the behavior should really be the same, just change the vertical positioning of the page in case the current line is not visible on the page currently displayed).

I'm quite sure this problem is independent of the macOS or Skim version, I noticed it some time ago.

Cheers,
M

Discussion

  • Christiaan Hofman

    We go to great length to display the correct page and location. But we are
    dependent on the information we get from the editor, synctex, and the
    scrolling abilities of PDFKit (which in many os versions is scrappy). I do
    not see how we can improve. If we get baf information and tools, we get bad
    results, that is outside our control.

     
  • Christiaan Hofman

    • status: unread --> closed-wont-fix
     

Log in to post a comment.

MongoDB Logo MongoDB