Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Generalize navigation map #191

Open
pokey opened this issue Aug 6, 2021 · 0 comments
Open

Generalize navigation map #191

pokey opened this issue Aug 6, 2021 · 0 comments
Assignees
@pokey
Labels
enhancement New feature or request
Milestone
Long list

Comments

@pokey
Copy link
Member

pokey commented Aug 6, 2021 •
edited
Loading

  • In addition to decorated symbols, it will also keep special marks, such as thatMark, sourceMark, the previous location stack (Add proper "jump back" command #190), and bookmarks (Add "mark" action to bookmark a target #46)
  • If an action returns undefined for a mark, don't overwrite
  • keep marks up to date
  • should all marks be stacks?
  • Also include previous edit ranges? How to avoid really large stack here?
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@pokey pokey

Labels
enhancement New feature or request
Projects
None yet
Milestone
Long list
Development

No branches or pull requests
1 participant
@pokey