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

Offer save option in unsaved file dialogue on exit from IDE #170

Closed
UKHeliBob opened this issue Mar 3, 2021 · 1 comment
Closed

Offer save option in unsaved file dialogue on exit from IDE #170

UKHeliBob opened this issue Mar 3, 2021 · 1 comment
Assignees
Labels
conclusion: resolved Issue was resolved topic: code Related to content of the project itself type: enhancement Proposed improvement

Comments

@UKHeliBob
Copy link

UKHeliBob commented Mar 3, 2021

When closing the IDE with an unsaved file open the dialogue only offers Yes and No options to the "Are you sure that you want to close the sketch" question. There is no option to save the sketch at that point.. To do so requires answering No to close the dialogue, saving the sketch from the IDE and closing it again.

@UKHeliBob UKHeliBob added the type: enhancement Proposed improvement label Mar 3, 2021
@per1234 per1234 added the topic: code Related to content of the project itself label Oct 29, 2021
@per1234 per1234 changed the title Unsaved file dialogue on exit from IDE Unsaved file dialogue on exit from IDE does not offer option to save Jan 17, 2022
@per1234 per1234 changed the title Unsaved file dialogue on exit from IDE does not offer option to save Offer save option in unsaved file dialogue on exit from IDE Jan 17, 2022
@per1234
Copy link
Contributor

per1234 commented Dec 15, 2022

This was resolved some time ago by #1351 but we didn't close the issue at the time that was merged.

The dialog on exit with unsaved sketch changes now looks like this:

image

@per1234 per1234 closed this as completed Dec 15, 2022
@per1234 per1234 self-assigned this Dec 15, 2022
@per1234 per1234 added the conclusion: resolved Issue was resolved label Dec 15, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
conclusion: resolved Issue was resolved topic: code Related to content of the project itself type: enhancement Proposed improvement
Projects
None yet
Development

No branches or pull requests

2 participants