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