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.

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

Introduce shortcuts to find previous/next edit point. #1018

Open
jeremypw opened this issue May 2, 2021 · 0 comments · May be fixed by #1138
Open

Introduce shortcuts to find previous/next edit point. #1018

jeremypw opened this issue May 2, 2021 · 0 comments · May be fixed by #1138
Labels
Needs Design Waiting for input from the UX team Priority: Wishlist An enhancement or feature request

Comments

@jeremypw
Copy link
Collaborator

jeremypw commented May 2, 2021

Problem

It is common to want to go back to the previous point in the document you edited and then back to the current edit point. These are often widely separated. Keyboard shortcuts for this would be useful.

Proposal

Introduce a history of edit points per document.
Introduce a "previous-edit-point action with keyboard shortcut to scroll the previous (non-consecutive?) edited line on screen.
Introduce a "next-edit-point" action with keyboard shortcut to scroll the next (non-consecutive) edited line on screen. If the currently edited line is the latest one, it would be scrolled onto the screen if necessary.

Prior Art

@jeremypw jeremypw added Priority: Wishlist An enhancement or feature request Needs Design Waiting for input from the UX team labels May 2, 2021
@jeremypw jeremypw linked a pull request Dec 13, 2021 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Needs Design Waiting for input from the UX team Priority: Wishlist An enhancement or feature request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant