Export pdf highlights as plain tex
I would like to highlight while I read a pdf and have the highlights exported as plain text.
5
votes
Anonymous
shared this idea
I would like to highlight while I read a pdf and have the highlights exported as plain text.