Regarding cropping pdf...
Christiaan, you seem like you don't want Skim to crop to the media box. ("Quite
frankly, I really don't see why you would even want to bother. What you crop
will typically not be any contents, so the amount of data you will save will
be small, if not negative.") Some of us do want to crop to media box, for
various reasons. Some people think it will save file space. I want to do
it just to eliminate big margins.
Skim actually *can* crop to the media box. To get Skim to do this, you have
to modify the source code. I did, and it works.
This matter has been under discussion for a while, and I think Skim should
allow people to crop to media box, if that's what the people want!
Best,
Peter Horn
------------------------------------------------------------------------------
Colocation vs. Managed Hosting
A question and answer guide to determining the best fit
for your organization - today and in the future.
http://p.sf.net/sfu/internap-sfd2d
_______________________________________________
Skim-app-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/skim-app-users
