Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

auto-revert if unedited -- just put a status message up. #299

Open
rcoreilly opened this issue Jan 31, 2023 · 1 comment
Open

auto-revert if unedited -- just put a status message up. #299

rcoreilly opened this issue Jan 31, 2023 · 1 comment

Comments

@rcoreilly
Copy link
Member

Also probably auto-save? If underlying file has not changed, and we have edits sitting there for some kind of timeout period, then probably just autosave? instead of doing the # file thing.
@rcoreilly
Copy link
Member Author

did the auto revert on unchanged. not sure about autosave..

# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@rcoreilly