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

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