Peter Horn
2010-08-05 16:31:10 UTC
Hi, my name is Peter, and I'm new to the Skim developer list.
I joined mail list because I want to help make Skim even better.
One thing I would like to bring up is the issue of cropping to the media
box. There have been some feature requests along these lines. Some people
object to this feature. I understand why you may not want to crop to the
media box, but some people do. For example, I want this feature so I can
read papers on my tiny Kindle screen. I don't need huge margins!
I can code this if necessary. (I have a working version).
It can be pretty idiot-proof. For example, let's say a user accidentally
crops to media box and loses some viewable PDF data. No problem, in order
for Skim to save the crop, you have to Export anyway, right? All the user
has to do is close their PDF and reopen, and the cropping is gone.
Thoughts?
Peter
----------------------------
Peter D Horn
"Her toP nerD"
***@gmail.com
I joined mail list because I want to help make Skim even better.
One thing I would like to bring up is the issue of cropping to the media
box. There have been some feature requests along these lines. Some people
object to this feature. I understand why you may not want to crop to the
media box, but some people do. For example, I want this feature so I can
read papers on my tiny Kindle screen. I don't need huge margins!
I can code this if necessary. (I have a working version).
It can be pretty idiot-proof. For example, let's say a user accidentally
crops to media box and loses some viewable PDF data. No problem, in order
for Skim to save the crop, you have to Export anyway, right? All the user
has to do is close their PDF and reopen, and the cropping is gone.
Thoughts?
Peter
----------------------------
Peter D Horn
"Her toP nerD"
***@gmail.com