The mouseover highlighting of steps affected by and affecting a step is very nice. Would it make sense to have it "stick" when the mouse moves off the proof (or off a specific column such as the Hyp column), so that the highlighting will persist when scrolling to a step off screen?
As suggested by Norm in his google groups post:
The mouseover highlighting of steps affected by and affecting a step is very nice. Would it make sense to have it "stick" when the mouse moves off the proof (or off a specific column such as the Hyp column), so that the highlighting will persist when scrolling to a step off screen?