13a14
>     <script type="text/javascript">var id=0;</script>
19c20
< See side-by-side diff <a href="diff.txt">here</a> and diff <a href="diff.2.txt">here</a>. [New engines will be added to <a href="http://stamm-wilbrandt.de/GraphvizFiddle">GraphvizFiddle</a> soon]<p/>
---
> See side-by-side diff <a href="diff.txt">here</a> and diffs <a href="diff.2.txt">2</a> and <a href="diff.3.txt">3</a>. [New engines will be added to <a href="http://stamm-wilbrandt.de/GraphvizFiddle">GraphvizFiddle</a> soon]<p/>
70c71,78
<     <p><button id="generate">Generate</button></p>
---
>     <p><button id="generate">Generate</button>&nbsp;&nbsp;&nbsp;neato animation
>       <select id="animate" onchange="javascript:(function(d){ if (document.getElementById('engine').value=='neato') { clearInterval(id); if (d>0) { id=setInterval(doClick, d); } } else { document.getElementById('animate').value=0; } }(this.value))">
>         <option value="0" selected>none</option>
>         <option value="100">100ms</option>
>         <option value="1000">1s</option>
>         <option value="5000">5s</option>
>       </select>
>     </p>