Fix (for issue #3347) that node selection gets forgotten when switching between proofs

[codecov[bot]]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (2d9f36c) 37.94% compared to head (83e97af) 37.92%.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #3349 +/- ## ============================================ - Coverage 37.94% 37.92% -0.02% + Complexity 17001 16994 -7 ============================================ Files 2059 2059 Lines 125973 125973 Branches 21273 21273 ============================================ - Hits 47797 47772 -25 - Misses 72293 72317 +24 - Partials 5883 5884 +1 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

[unp1]

Thanks. I hope the latest fix works now reliable.