key icon indicating copy to clipboard operation
key copied to clipboard
verified publisher icon KeYProject

Do not update proof tree if not visible

Open unp1 opened this issue 1 year ago • 0 comments

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 avatar Feb 16 '24 15:02 unp1