We have a workaround for this bug installed for Yosemite, and in more
recent OS versions Apple has this bug fixed. I may have been wrong in
thinking this had been fixed in El Capitan. So I guess we should extend the
workaround to 10.11.
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
