gummi icon indicating copy to clipboard operation
gummi copied to clipboard

Published 20 hours ago • verified publisher icon alexandervdm

Jump to paragraph

Open jsparber opened this issue 9 years ago • 1 comments

Jump to paragraph in the source by clicking on the corresponding paragraph on the rendered PDF.

jsparber avatar Jun 20 '15 17:06 jsparber

I would be really happy to see this feature one day as well.

sciunto avatar Sep 01 '20 07:09 sciunto