Try to make all highlighted lines being run by execution threads visible in code editor.
Implementing this behaviour requires some refinements. Some ideas:
[ ] Enable "auto-scroll" when animation starts.
[ ] Disable "auto-scroll" if user modifies source code while animation is in progress.
[ ] If there is just one execution thread running, make its highlighted line visible by scrolling the code editor.
[ ] If there are n threads running concurrently, determine the range [min and max] of highlighted lines. If the range is smaller than the number of visible lines (blocks?), make the min line visible as the first one.
[ ] Otherwise, do not scroll and leave the user control scrolling.
[ ] Future: let user right click an execution thread and select "Follow this thread in Code Editor".
[ ] Future: threads may executing code from several distinct files (i.e. code editors).
Try to make all highlighted lines being run by execution threads visible in code editor. Implementing this behaviour requires some refinements. Some ideas: