Skip to content

Generalize navigation map #191

Description

@pokey
  • 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?

Activity

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

Metadata

Metadata

Assignees

Labels

enhancementNew feature or request

Type

No type

Projects

No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions