-
Philipp Erhardt authored
Every time a jump occurs its origin is saved. You can then move through those saved positions, e.g. to return to the table of contents after having read a section.
3d285c0e
Every time a jump occurs its origin is saved. You can then move through those saved positions, e.g. to return to the table of contents after having read a section.