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

Warn for unsaved files #57

Open
mkoskim opened this issue Mar 7, 2023 · 0 comments
Open

Warn for unsaved files #57

mkoskim opened this issue Mar 7, 2023 · 0 comments
Labels
need fix Something needs fixing at some point

Comments

@mkoskim
Copy link
Owner

mkoskim commented Mar 7, 2023

Currently, editor does not know, if the file is saved or not. So, you can press Ctrl-Q (Quit) without receiving any warnings.

Implement a mechanism to check, if editor buffer is dirty.

@mkoskim mkoskim added this to the Basic improvements milestone Mar 7, 2023
@mkoskim mkoskim added the need fix Something needs fixing at some point label Mar 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
need fix Something needs fixing at some point
Projects
Development

No branches or pull requests

1 participant