> On Jan 6, 2016, at 3:47 AM, Christiaan Hofman <cmhof...@gmail.com> wrote: > > You can’t, this is managed by the system.
You can use a system utility like Tinker Tool to do this. Mine is set at 15. TT gives choices up to 30. You may be able to do a terminal command to increase further. ------------------------------------------------------------------------------ _______________________________________________ Skim-app-users mailing list Skim-app-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/skim-app-users
