Open unp1 opened 6 months ago
If the proof tree view is not visible the GUI proof tree should not be updated.
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.
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.