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
Skim-app-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/skim-app-users
