Feature: If possible save the last selected node in the proof, to reselect it upon loading.#3324

unp1 wants to merge 1 commit intomainKeYProject/key:mainfrom

issue3297KeYProject/key:issue3297Copy head branch name to clipboard