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/redo history #3

Open
GopherAtl opened this issue Mar 28, 2015 · 0 comments
Open

undo/redo history #3

GopherAtl opened this issue Mar 28, 2015 · 0 comments
Labels
Milestone

Comments

@GopherAtl
Copy link
Owner

implement an undo/redo history.

  • automatically do limited merging of consecutive edits - keystrokes for merged to the token-level, that sort of thing. Will contain all data necessary and not actually touch the clipboard, everything being reduced to "insert text" or "remove text."
  • save the history to a scratch file, with header info identifying the source file.
  • on opening file, check for pre-existing scratch file and load them to recover unsaved changes
@GopherAtl GopherAtl added this to the 1.2 milestone Mar 28, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant