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

Undo tree display / navigation #17455

Open
1 task done
haasn opened this issue Sep 5, 2024 · 1 comment
Open
1 task done

Undo tree display / navigation #17455

haasn opened this issue Sep 5, 2024 · 1 comment
Labels
editor Feedback for code editing, formatting, editor iterations, etc feature [core label]

Comments

@haasn
Copy link
Contributor

haasn commented Sep 5, 2024

Check for existing issues

  • Completed

Describe the feature

A very popular (and useful) feature among editors is the ability to maintain, display, and navigate an undo tree. This way you can e.g.:

  • Quickly view a previous version of the buffer you're editing
  • Make changes after undoing a (sequence of) commands without losing progress
  • Inspect your history of saved versions and quickly navigate between older variants (e.g. for testing)
  • Easily go back to the latest version of a buffer after a sequence of undo commands

And definitely more. In general, it gives us a way to track changes on a level of granularity too fine for e.g. git commits to sensibly track.

If applicable, add mockups / screenshots to help present your vision of the feature

Vim's undotree plugin can offer some inspiration:

image

(Observe also the fantastic utility here of having #15097)

@haasn haasn added admin read feature [core label] labels Sep 5, 2024
@notpeter notpeter added editor Feedback for code editing, formatting, editor iterations, etc and removed triage labels Sep 10, 2024
@aeshna-cyanea
Copy link

for reference (to show that there is demand), here is an equivalent issue in vscode microsoft/vscode#20889

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
editor Feedback for code editing, formatting, editor iterations, etc feature [core label]
Projects
None yet
Development

No branches or pull requests

3 participants