Enable parallel TryCloseMacro; fix progress bar for macros#3939

unp1 merged 2 commits into

mainKeYProject/key:mainfrom

bubel/fixMTGUIRegressionKeYProject/key:bubel/fixMTGUIRegressionCopy head branch name to clipboard