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

Sun, 08 Oct 2017 22:22:50 -0700

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 the source codes despite that Christiaan explicitly said we should not try to correct for the bug.

It seems that adding a few lines in the source code (SKMainWindowController.m) does it. I attach the diff file. What I did is basically insert the following line right after line 814 of SKMainWindowController.m:

point.y -= 0.5*[pdfView bounds].size.height/[pdfView scaleFactor];

Attachment: skim-app-pdfkit.diff
Description: Binary data


Chirok

On 8 Oct 2017, at 2:30 AM, Christiaan Hofman <[email protected]> wrote:

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 Apple. Please also do this, because that will make it more urgent.

Christiaan
------------------------------------------------------------------------------
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
[email protected]
https://lists.sourceforge.net/lists/listinfo/skim-app-users

------------------------------------------------------------------------------
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
[email protected]
https://lists.sourceforge.net/lists/listinfo/skim-app-users

Reply via email to