This repository was archived by the owner on Jun 17, 2022. It is now read-only.
This repository was archived by the owner on Jun 17, 2022. It is now read-only.
Position bookmarks, and jumping between bookmarks #10
Description
Should bookmarks be per file, or is it more useful to be able to jump between files?