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

Finalize interface for name-filtered jump mappings and update help #11

Open

1 of 2 tasks

ZeroKnight opened this issue Sep 30, 2018 · 0 comments

Open

1 of 2 tasks

Finalize interface for name-filtered jump mappings and update help #11

ZeroKnight opened this issue Sep 30, 2018 · 0 comments

Labels

clean up

Milestone

Owner

ZeroKnight commented Sep 30, 2018 •

edited

Loading

Regarding #8:

Settle on a final interface for user-creation of name-filtered jump mappings
Add usage info and examples to help file.

ZeroKnight added the clean up label

ZeroKnight added this to the Version 0.7 milestone

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