Feature #126

in anidot , let the window scroll automatically to show the highlighted node(s)

Added by Axel Belinfante about 11 years ago.

Status:NewStart date:17 Jun 2009
Priority:NormalDue date:
Assignee:-% Done:


Target version:-


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?

Also available in: Atom PDF