The node you are looking for is at
Starting and Stopping Proof-Tree Visualization
.