## Description During proof loading/replay and macro application, the Proof Slicing UI is constantly updated. This might be a potential drawback for performance. ## Reproducible Always ## Steps to reproduce Loading a KeY file with a proof is enough: https://github.com/user-attachments/assets/69bab55f-bdb3-4224-99b1-8c13a13a6ec3 > What is your expected behavior, and what was the actual behavior? Slicing, as well as nearly all UI updates, should be paused during proof loading or macro runs for the sake of performance.
Description
During proof loading/replay and macro application, the Proof Slicing UI is constantly updated.
This might be a potential drawback for performance.
Reproducible
Always
Steps to reproduce
Loading a KeY file with a proof is enough:
Screencast.From.2026-02-10.12-27-57.mp4
Slicing, as well as nearly all UI updates, should be paused during proof loading or macro runs for the sake of performance.