This repository was archived by the owner on Jun 17, 2022. It is now read-only.

Position bookmarks, and jumping between bookmarks #10

Open

chrisvest opened this issue Apr 24, 2019 · 0 comments

Milestone

Owner

chrisvest commented Apr 24, 2019

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

chrisvest added this to the 0.2 milestone

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.