in anidot , let the window scroll automatically to show the highlighted node(s)
|Status:||New||Start date:||17 Jun 2009|
this would be particulary useful for long traces where we have to zoom in to see node/edge labels - with the result that we only see a small part of the trace,
and when selection changes we easily get lost.
Actually, I think we looked at this some years ago - shouldn't this work already?