Recent Changes

Updates since 1970-01-01 00:00 UTC

(for 2017-10-30_Pdf-tools_and_follow_mode only)

1 | 3 | 7 | 30 | 90 days
List latest change per page only List only major changes
List later changes RSS RSS with pages RSS with pages and diff

2017-10-30

  • 18:59 UTC (new) 2017-10-30 Pdf-tools and follow mode . . . . 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.

More...

Filters