Optimize UI updates of slicing panel#3735

FliegendeWurst wants to merge 1 commit into

KeYProject:mainKeYProject/key:mainfrom

FliegendeWurst:slicing-ui-perfFliegendeWurst/key:slicing-ui-perfCopy head branch name to clipboard