Make the proof tree (or the KeY GUI in general) responsive during automatic proof search#3541

wadoon wants to merge 2 commits intomainKeYProject/key:mainfrom

weigl/fix3415KeYProject/key:weigl/fix3415Copy head branch name to clipboard