Homepage
Recent Changes
Search:
History of 2017-10-30 Pdf-tools and follow mode
2017-10-30
18:59 UTC
Revision 1
. . . .
Marcin Borkowski
–
Today I discovered an extremely cool feature of pdf-tools. Assume that you have a pdf file with annotations (that is, those funny yellow sticky-note-like thingies which show some text when hovered or clicked). Assume that they are done by the editor of a journal you work for, and you have to modify the source LaTeX file accordingly. (This is a rather specialized use, but I think the feature may have more applications.) My previous workflow involved using a mouse (actually, a touchpad, but I hate both with a passion). But there’s a much better way.