Position bookmarks, and jumping between bookmarks

Open chrisvest opened this issue 6 years ago • 0 comments

Should bookmarks be per file, or is it more useful to be able to jump between files?

Apr 24 '19 08:04 chrisvest