Skip to content
This repository has been archived by the owner on Oct 6, 2024. It is now read-only.

Suggest use of existing marks #22

Open
danth opened this issue Jun 1, 2020 · 0 comments
Open

Suggest use of existing marks #22

danth opened this issue Jun 1, 2020 · 0 comments
Labels
feature A new feature or a feature request

Comments

@danth
Copy link
Owner

danth commented Jun 1, 2020

Use pre-existing marks to create suggestions. They only need to appear as children of the start node, since making other movements and then jumping to a mark wouldn't make sense.

@danth danth added the feature A new feature or a feature request label Jun 1, 2020
danth added a commit that referenced this issue Jun 19, 2020
This makes space for the extra code needed to implement #4, #6, #22 etc.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
feature A new feature or a feature request
Projects
None yet
Development

No branches or pull requests

1 participant