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.

Sign up for GitHub

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

Jump to bottom

Do not update proof tree if not visible #3410

Open
unp1 opened this issue Feb 16, 2024 · 0 comments
Open

Do not update proof tree if not visible #3410

unp1 opened this issue Feb 16, 2024 · 0 comments
Labels
Feature New feature or request GUI HacKeYthon Candidate Issue for HacKeYthon '24

Comments

@unp1
Copy link
Member

unp1 commented Feb 16, 2024

Please describe your proposal in a ONE sentence

If the proof tree view is not visible the GUI proof tree should not be updated.

Underlying problem

Updating the GUI proof tree can be slow. Hence, as an intermediate measure it would be good to just not update it, if the user has hidden the view.
@unp1 unp1 added the HacKeYthon Candidate Issue for HacKeYthon '24 label Feb 16, 2024
@WolframPfeifer WolframPfeifer moved this to Candidate issues in 2nd HacKeYthon Feb 19, 2024
@WolframPfeifer WolframPfeifer added GUI Feature New feature or request labels Feb 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Feature New feature or request GUI HacKeYthon Candidate Issue for HacKeYthon '24
Projects
2nd HacKeYthon
Status: Candidate Issue
Milestone
No milestone
Development

No branches or pull requests
2 participants
@unp1 @WolframPfeifer