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

KeY GUI slows down already at proofs of size 10000 #3500

Open
unp1 opened this issue Aug 1, 2024 · 1 comment
Open

KeY GUI slows down already at proofs of size 10000 #3500

unp1 opened this issue Aug 1, 2024 · 1 comment

Comments

@unp1
Copy link
Member

unp1 commented Aug 1, 2024

Description

The proof tree rendering slows down for medium sized proof trees.

Reproducible

always

Steps to reproduce

What is your expected behavior and what was the actual behavior?

Additional information

Problem is the tooltip rendering removing it resolves the problem, but we loose any nice proof tree label rendering, so a better solution is needed.


  • Commit:
@unp1 unp1 added this to the v2.12.3 milestone Aug 1, 2024
@unp1 unp1 added the 🐞 Bug label Aug 1, 2024
@mattulbrich
Copy link
Member

mattulbrich commented Aug 26, 2024

It seems that the tooltips on the proof tree (I assume the problem is about them) cannot be switched off at all. Would be nice if there was a tick box in the local menu to get rid of them tempoprarily ...
@unp1

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants