key icon indicating copy to clipboard operation
key copied to clipboard

Published 20 hours ago • verified publisher icon KeYProject

KeY GUI slows down already at proofs of size 10000

Open unp1 opened this issue 6 months ago • 1 comments

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 avatar Aug 01 '24 11:08 unp1