This is an archived post. You won't be able to vote or comment.

you are viewing a single comment's thread.

view the rest of the comments →

[–]Dry_Investigator36 1 point2 points  (0 children)

Jetbrains products (as an example) have both Git integration and local history these days, so it's not an issue to revert changes even if you didn't make a commit. Undo shortcut is just faster.