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

Ask before closing a proof whose branches are "used" in other proofs #3469

Open
unp1 opened this issue May 3, 2024 · 1 comment
Open

Ask before closing a proof whose branches are "used" in other proofs #3469

unp1 opened this issue May 3, 2024 · 1 comment
Labels
Feature New feature or request

Comments

@unp1
Copy link
Member

unp1 commented May 3, 2024

Please describe your proposal in a ONE sentence

Removing a proof might unexpectedly reopen branches on other proofs

Underlying problem

Removing a proof that is referred to by other proofs causes branches on the other proofs to be reopened

Usage Scenario

When removing a proof via Cmd + W (Ctrl + W) or "Abandon Proof", we should check whether the proof is referred to by branches of other proofs and provide the option to first "copy" the cached branches to the other proofs.

@unp1 unp1 added the Feature New feature or request label May 3, 2024
@WolframPfeifer
Copy link
Member

While it is still a valid feature request to ask for the user choice individually, I just wanted to mention here that there is actually an option under "Options" -> "Show Settings" -> "Proof Caching" to change the behavior:
image
The default should be "Copy referenced steps", but it seems that in your case it somehow got changed to "Reopen" ...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Feature New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants