The trick is that you need multiple histories to make that work, or git-style history management. If you broke your editor's buttons / view settings, but also

The trick is that you need multiple histories to make that work, or git-style history management. If you broke your editor's buttons / view settings, but also typed a dozen pages, you don't want to undo your typing to undo your settings changes.