Re: [Skim-app-users] Jump to top of page upon reloading (old bug, new OS)

2017-10-08 Thread Chirok Han
You are right. This is a bug that Apple should fix. But my productivity dropped to such a miserable and unbearable level since Skim.app stopped working the way it used to after I upgraded to High Sierra (I found how much my life has relied on Skim.app), that I couldn’t but download and look into th

Re: [Skim-app-users] Jump to top of page upon reloading (old bug, new OS)

2017-10-07 Thread Christiaan Hofman
That is basically what I expected. But it is a bug drom Apple, because the two things should be consistent. We should not try to correct for this, because it's their bug that should be fixed. And when they do, having such a correction would bring back the problem. I already reported the bug to Appl

Re: [Skim-app-users] Jump to top of page upon reloading (old bug, new OS)

2017-10-07 Thread Chirok Han
I've done experiments. It looks like the "y" value from pdfview.currentDestination (in Swift - I don't know much of objc) is the point of the pdf page at the _top_ of the PDFView, while the "y" value in the "at:" argument of PDFView.go(to: PDFDestination(page:at:)) is for the _vertical center_ of t

Re: [Skim-app-users] Jump to top of page upon reloading (old bug, new OS)

2017-10-01 Thread José Miguel Figueroa-O'Farrill
Yes, this is similar to what I’m experiencing. Every reload (even if I just recompile without doing any changes) has the following effect: it moves the document up by precisely half of the “window” size. (Sorry I’m not sure of the precise word: I mean the size of the visible portion of the doc

Re: [Skim-app-users] Jump to top of page upon reloading (old bug, new OS)

2017-09-30 Thread Chirok Han
Iliya, High Sierra is found at the top of the "Featured" section in App Store. Skim is indeed an outstanding app. Chirok Chirok Han, Ph. D, Professor Department of Economics, Korea University Anam-dong Seongbuk-Gu, Seoul, Korea, 136-701 Email: chirok...@korea.ac.kr Ph: +82 2 3290 2205 FAX: +82

Re: [Skim-app-users] Jump to top of page upon reloading (old bug, new OS)

2017-09-30 Thread Iliya Lefterov
Chirok, I am far behind you…, but I want to test all this… how do you get High Sierra? Skim is an outstanding app… For the last 7 years all issues have been resolved with a little patience… -I. -- Iliya Lefterov ilefte...@icloud.com iliya.lefte...@gmail.com > On Sep 30, 2017, at 10:31 PM

Re: [Skim-app-users] Jump to top of page upon reloading (old bug, new OS)

2017-09-30 Thread Chirok Han
The issue appears slightly differently to me. In my case (Skim version 1.4.29 (103)), on High Sierra, the page jumps up by approximately a half of the current view until the page divider is located exactly in the middle. For example, if I start at the bottom of page 10, after recompiling the latex

Re: [Skim-app-users] Jump to top of page upon reloading (old bug, new OS)

2017-09-29 Thread Christiaan Hofman
Really annoying. Apple told me they fixed this in High Sierra. But apparently they broke it in another way at the same time. I have very little hope we can fix this. Christiaan -- Check out the vibrant tech community on on

[Skim-app-users] Jump to top of page upon reloading (old bug, new OS)

2017-09-28 Thread José Miguel Figueroa-O'Farrill
Hi, I remember there was a thread about this problem back in Sierra and El Capitán. It was solved (via a workaround, I seem to recall) but I just upgraded to High Sierra and the jump is back :( I’m using Skim 1.4.29 under Mac OS X 10.13 (17A365). I’m using Skim as I typically do: compiling L