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 you that your edits will be lost #67

Open
kzeitz opened this issue Jan 11, 2023 · 1 comment
Open

Warn you that your edits will be lost #67

kzeitz opened this issue Jan 11, 2023 · 1 comment
Labels
enhancement New feature or request

Comments

@kzeitz
Copy link

kzeitz commented Jan 11, 2023

I was using the antlr4-lab and noticed an issue, so I reflexively clicked the 'issues' link and inadvertently lost some edits.

Perhaps the links could open another tab by default, or at least prompt you that you will be lose any changes you've made.

@parrt
Copy link
Member

parrt commented Jan 14, 2023

Excellent point. Yeah I'm worried about that as well. Not sure how to handle that but perhaps we can simply detect when you were going to move away from the "app" with a bit of JavaScript. We can then pop up a dialog box warning you. I think Jupyter notebooks and things like that work like that.

@parrt parrt added the enhancement New feature or request label Jan 14, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants